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