Login / Signup
Linear Abadi and Plotkin Logic
Lars Birkedal
Rasmus Ejlers Møgelberg
Rasmus Lerchedahl Petersen
Published in:
CoRR (2006)
Keyphrases
</>
closed form
website
multi valued
database
logic programming
modal logic
shift register
information systems
image processing
probabilistic logic
classical logic
linear complexity
digital circuits
predicate logic