Login / Signup

Semantics and Axiomatics of a Simple Recursive Language

Bruno CourcelleJean Vuillemin
Published in: STOC (1974)
Keyphrases