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