Login / Signup
Operational Semantics for Functional Logic Languages.
Elvira Albert
Michael Hanus
Frank Huch
Javier Oliver
Germán Vidal
Published in:
Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
</>
operational semantics
formal semantics
model theoretic
term rewriting
declarative semantics
mental states
expressive power
denotational semantics
functional language
data model
agent programming
mobile robot
databases
autonomous agents
intelligent systems
expert systems
natural language