Sign in

Towards Algebraic Semantics of Circus Time.

Kun WeiJim 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