Login / Signup
Le Cylindre des Langages Linéaires.
Luc Boasson
Maurice Nivat
Published in:
Math. Syst. Theory (1977)
Keyphrases
</>
special case
situation calculus
knowledge base
database systems