e-space
Manchester Metropolitan University's Research Repository

    Admissible inference rules in temporal linear logics based at integer numbers

    Rybakov, Vladimir V. (2005) Admissible inference rules in temporal linear logics based at integer numbers. [Conference or Workshop Item] (Unpublished)

    File not available for download.

    Abstract

    This research concerns rules admissible in temporal linear transitive and intransitive logics based on integer numbers.

    Impact and Reach

    Statistics

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

    Additional statistics for this dataset are available via IRStats2.

    Actions (login required)

    View Item View Item