Login / Signup
Semantics and Axiomatics of a Simple Recursive Language
Bruno Courcelle
Jean Vuillemin
Published in:
STOC (1974)
Keyphrases
</>
specification language
logic programming language
logical language
conceptual graphs
definition language
natural language
model theoretic
formal language
dynamic logic
language learning
formal semantics
conditional logic
intended meaning