Login / Signup
Formal Semantics of the Language Cypher.
Nadime Francis
Alastair Green
Paolo Guagliardo
Leonid Libkin
Tobias Lindaaker
Victor Marsault
Stefan Plantikow
Mats Rydberg
Martin Schuster
Petra Selmer
Andrés Taylor
Published in:
CoRR (2018)
Keyphrases
</>
formal semantics
logical language
formal language
operational semantics
modelling language
modeling language
speech acts
er model
natural language
first order logic
logical reasoning
databases
model theoretic
epistemic logic
theorem prover
metamodel
query processing
database
owl dl ontology