Login / Signup

Be Nice! How Simple Imperatives Simplify Imperative Logic.

Jörg Hansen
Published in: J. Philos. Log. (2014)
Keyphrases
  • databases
  • highly reliable
  • modal logic
  • probability theory
  • automated reasoning
  • classical logic
  • set theory