Login / Signup

leanEA: A Lean Evolving Algebra Compiler.

Bernhard BeckertJoachim Posegga
Published in: CSL (1995)
Keyphrases