DMCA

leanEA: A Lean Evolving Algebra Compiler (1996)

by Bernhard Beckert , Joachim Posegga
Venue:Proceedings of the Annual Conference of the European Association for Computer Science Logic (CSL’95), volume 1092 of LNCS
Citations:7 - 0 self