Login / Signup

Reference Type Logic Variables in Constraint-Logic Object-Oriented Programming.

Jan C. Dageförde
Published in: WFLP (2018)
Keyphrases
  • object oriented programming
  • modal logic
  • object oriented
  • logic programming
  • classical logic
  • programming language
  • open source