Login / Signup
Towards Algebraic Semantics of Circus Time.
Kun Wei
Jim Woodcock
Published in:
UTP (2014)
Keyphrases
</>
algebraic structure
formal semantics
semantic information
logic programming
databases
operational semantics
argumentation semantics
information retrieval
image sequences
domain knowledge