Login / Signup

Preferential Choice Representation Theorems for Branching Time Structures.

Karl Schlechta
Published in: J. Log. Comput. (1995)
Keyphrases
  • temporal reasoning
  • real time
  • information systems
  • temporal logic
  • representation scheme
  • search engine
  • relational structures