Login / Signup
Translating Combinatory Reduction Systems into the Rewriting Calculus.
Clara Bertolissi
Horatiu Cirstea
Claude Kirchner
Published in:
Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
</>
management system
intelligent systems
computer systems
knowledge based systems
building blocks
data sets
databases
social networks
computer vision
decision trees
multi agent
software development
deductive databases