Interaction Nets and Term-Rewriting Systems.

Maribel Fernández Ian Mackie

Published in: Theor. Comput. Sci. (1998)

Keyphrases

term rewriting systems
functional programs
human computer interaction
logic programs
databases
knowledge base
user interaction
key features