Login / Signup

Focusing the Inverse Method for Linear Logic.

Kaustuv ChaudhuriFrank Pfenning
Published in: CSL (2005)
Keyphrases
  • software engineering
  • image matching