Extending topological nexttime logic

Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000 ◽

10.1109/time.2000.856589 ◽

2002 ◽

Cited By ~ 4

Author(s):

B. Heinemann

Download Full-text