Implementation [of symbolic systems]
Representations [for symbolic expressions]
[Enumerating] possible expressions
Properties [of example symbolic system]
Other [symbolic systems] rules
Long halting times [in symbolic systems]
Trees [representation for symbolic systems]