Login / Signup
Corrigendum: A Simple Proof of a Completeness Result for Leads-To in the UNITY Logic.
Jan K. Pachl
Published in:
Inf. Process. Lett. (1992)
Keyphrases
</>
linear logic
machine learning
proof theory
logic programming
automated theorem proving
website
logical framework
classical logic
cut elimination