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