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.

Item Type:	Conference or Workshop Item
Peer-reviewed:	No
Date Deposited:	09 Apr 2010 13:34
Publisher:	World Scientific Publishing
Divisions:	Faculties
URI:	https://mmu-uat.leaf.cosector.com/id/eprint/96177

Impact and Reach

Statistics

DownloadsShow export options

Activity Overview

6 month trend

0Downloads

6 month trend

276Hits

Additional statistics for this dataset are available via IRStats2.

Altmetric

Actions (login required)

View Item