Login / Signup
A Complete and Decidable Proof System for Call-by-Value Equalities (Preliminary Report).
Jon G. Riecke
Published in:
ICALP (1990)
Keyphrases
</>
information systems
case study
neural network
genetic algorithm
learning algorithm
website
database systems
data integration
orders of magnitude
modal logic
situation calculus
linear time temporal logic