Login / Signup
Algebraic Framework for Synchronous Language Semantics.
Daniel Gaffé
Annie Ressouche
Published in:
TASE (2013)
Keyphrases
</>
specification language
logical framework
logic programming
intended meaning
main contribution
neural network
natural language
conceptual model
language learning
formal semantics
declarative language
logic programs
conditional logic