Skip to main navigation
Skip to search
Skip to main content
Tel Aviv University Home
Update Request & User Guide (TAU staff only)
Home
Experts
Research units
Research output
Prizes
Activities
Press/Media
Search by expertise, name or affiliation
Expressive completeness of duration calculus
Alexander Rabinovich
*
*
Corresponding author for this work
School of Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
8
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Expressive completeness of duration calculus'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Expressive Completeness
100%
Duration Calculus
100%
First-order
33%
Liveness Properties
33%
Monadic Logic
33%
Expressive Power
16%
Mathematical Logic
16%
Infinite Length
16%
Real-time Systems
16%
Theory of Computation
16%
Standard Semantics
16%
Computer Science
Liveness Property
100%
Expressive Completeness
100%
Expressive Power
50%
Real Time Systems
50%
Theory of Computation
50%
Interval Length
50%