Login / Signup
Expressing combinatory reduction systems derivations in the rewriting calculus.
Clara Bertolissi
Horatiu Cirstea
Claude Kirchner
Published in:
High. Order Symb. Comput. (2006)
Keyphrases
</>
special case
intelligent systems
expert systems
knowledge representation
building blocks
complex systems
website
management system
data management
data sets
software engineering
distributed systems
knowledge based systems
learning systems