Login / Signup
Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic.
Vincent Atassi
Patrick Baillot
Kazushige Terui
Published in:
Log. Methods Comput. Sci. (2007)
Keyphrases
</>
inference mechanism
logical inference
information retrieval
abductive reasoning
co occurrence
model checking
affine transformation
belief networks
logical framework
verification method