Non-elementary lower bound for Propositional Duration Calculus

A. Rabinovich*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

8 Scopus citations
Original languageEnglish
Pages (from-to)7-11
Number of pages5
JournalInformation Processing Letters
Volume66
Issue number1
DOIs
StatePublished - 15 Apr 1998

Keywords

  • Complexity
  • Duration Calculus
  • Propositional Duration Calculus
  • Real time systems
  • Star free expressions

Cite this