e-space
Manchester Metropolitan University's Research Repository

Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions

Rybakov, Vladimir V. (2006) Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions. [Conference or Workshop Item]

File not available for download.

Impact and Reach

Statistics

Activity Overview
6 month trend
0Downloads
6 month trend
259Hits

Additional statistics for this dataset are available via IRStats2.

Altmetric

Actions (login required)

View Item View Item