On the Arithmetic Inexpressiveness of Term Rewriting Systems

Sergei G. Vorobyov

Published in: LICS (1988)

Keyphrases

term rewriting systems
functional programs
logic programs
arithmetic operations
programming language
database
key features