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