Login / Signup

Deep Semantic Links of TCSP and Object-Z: TCOZ Approach.

Brendan P. MahonyJin Song Dong
Published in: Formal Aspects Comput. (2002)
Keyphrases
  • semantic links
  • temporal reasoning
  • constraint satisfaction problems
  • information retrieval
  • relational databases