Completeness through Flatness in Two-Dimensional Temporal Logic

  • Authors:

  • Yde Venema

  • Affiliations:

  • -

  • Venue:
  • ICTL '94 Proceedings of the First International Conference on Temporal Logic
  • Year:
  • 1994

  • Continuous Temporal Models

    AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence

Quantified Score

Hi-index 0.00

Visualization

Abstract