Login / Signup
Linear Categorial Deduction via First-order Compilation.
Mark Hepple
Published in:
TAPD (1998)
Keyphrases
</>
higher order
simple linear
first order logic
data sets
information systems
theorem proving
transfer function
automated theorem proving
stochastic dominance