Implementing First-Order Rewriting with Constructor Systems.

Satish R. Thatte

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

Keyphrases

management system
real time
databases
data model
software engineering
higher order
software development
computer systems
learning systems