Login / Signup
Towards a formal semantics for a structurally dynamic noncausal modelling language.
John Capper
Henrik Nilsson
Published in:
TLDI (2012)
Keyphrases
</>
formal semantics
modelling language
first order logic
modeling language
logical language
databases
information systems
learning scenarios
learning design
theorem prover
owl dl ontology