Login / Signup

From Implicit via Inductive to Explicit Definitions.

Gerard R. Renardel de Lavalette
Published in: Semantics of Specification Languages (1993)
Keyphrases