Scribd Logo
Upload

Welcome to Scribd!

  • 1995 Fairtlough

    Uploaded by

    prooftheory
    21 views15 pages
    cs

    Original Title

    1995_Fairtlough

    Copyright

    © Attribution Non-Commercial (BY-NC)

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    cs

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    21 views15 pages

    1995 Fairtlough

    Uploaded by

    prooftheory
    cs

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    of 15

    AUTHORS' COPY - NOT FOR DISTRIBUTION

    M. Fairtlough, M. Mendler: An intuitionistic modal logic with applications to the formal verification of hardware. In L. Pacholski and J. Tiuryn (eds.), Proc. of the 1994 Annual Conference of the European Association for Computer Science Logic (CSL'94), pp. 354-368, Springer 1995 (LNCS 933).

    AUTHORS' COPY - NOT FOR DISTRIBUTION

    M. Fairtlough, M. Mendler: An intuitionistic modal logic with applications to the formal verification of hardware. In L. Pacholski and J. Tiuryn (eds.), Proc. of the 1994 Annual Conference of the European Association for Computer Science Logic (CSL'94), pp. 354-368, Springer 1995 (LNCS 933).

    AUTHORS' COPY - NOT FOR DISTRIBUTION

    M. Fairtlough, M. Mendler: An intuitionistic modal logic with applications to the formal verification of hardware. In L. Pacholski and J. Tiuryn (eds.), Proc. of the 1994 Annual Conference of the European Association for Computer Science Logic (CSL'94), pp. 354-368, Springer 1995 (LNCS 933).

    AUTHORS' COPY - NOT FOR DISTRIBUTION

    M. Fairtlough, M. Mendler: An intuitionistic modal logic with applications to the formal verification of hardware. In L. Pacholski and J. Tiuryn (eds.), Proc. of the 1994 Annual Conference of the European Association for Computer Science Logic (CSL'94), pp. 354-368, Springer 1995 (LNCS 933).

    AUTHORS' COPY - NOT FOR DISTRIBUTION

    M. Fairtlough, M. Mendler: An intuitionistic modal logic with applications to the formal verification of hardware. In L. Pacholski and J. Tiuryn (eds.), Proc. of the 1994 Annual Conference of the European Association for Computer Science Logic (CSL'94), pp. 354-368, Springer 1995 (LNCS 933).

    AUTHORS' COPY - NOT FOR DISTRIBUTION

    M. Fairtlough, M. Mendler: An intuitionistic modal logic with applications to the formal verification of hardware. In L. Pacholski and J. Tiuryn (eds.), Proc. of the 1994 Annual Conference of the European Association for Computer Science Logic (CSL'94), pp. 354-368, Springer 1995 (LNCS 933).

    AUTHORS' COPY - NOT FOR DISTRIBUTION

    M. Fairtlough, M. Mendler: An intuitionistic modal logic with applications to the formal verification of hardware. In L. Pacholski and J. Tiuryn (eds.), Proc. of the 1994 Annual Conference of the European Association for Computer Science Logic (CSL'94), pp. 354-368, Springer 1995 (LNCS 933).

    AUTHORS' COPY - NOT FOR DISTRIBUTION

    M. Fairtlough, M. Mendler: An intuitionistic modal logic with applications to the formal verification of hardware. In L. Pacholski and J. Tiuryn (eds.), Proc. of the 1994 Annual Conference of the European Association for Computer Science Logic (CSL'94), pp. 354-368, Springer 1995 (LNCS 933).

    AUTHORS' COPY - NOT FOR DISTRIBUTION

    M. Fairtlough, M. Mendler: An intuitionistic modal logic with applications to the formal verification of hardware. In L. Pacholski and J. Tiuryn (eds.), Proc. of the 1994 Annual Conference of the European Association for Computer Science Logic (CSL'94), pp. 354-368, Springer 1995 (LNCS 933).

    AUTHORS' COPY - NOT FOR DISTRIBUTION

    M. Fairtlough, M. Mendler: An intuitionistic modal logic with applications to the formal verification of hardware. In L. Pacholski and J. Tiuryn (eds.), Proc. of the 1994 Annual Conference of the European Association for Computer Science Logic (CSL'94), pp. 354-368, Springer 1995 (LNCS 933).

    AUTHORS' COPY - NOT FOR DISTRIBUTION

    M. Fairtlough, M. Mendler: An intuitionistic modal logic with applications to the formal verification of hardware. In L. Pacholski and J. Tiuryn (eds.), Proc. of the 1994 Annual Conference of the European Association for Computer Science Logic (CSL'94), pp. 354-368, Springer 1995 (LNCS 933).

    AUTHORS' COPY - NOT FOR DISTRIBUTION

    M. Fairtlough, M. Mendler: An intuitionistic modal logic with applications to the formal verification of hardware. In L. Pacholski and J. Tiuryn (eds.), Proc. of the 1994 Annual Conference of the European Association for Computer Science Logic (CSL'94), pp. 354-368, Springer 1995 (LNCS 933).

    AUTHORS' COPY - NOT FOR DISTRIBUTION

    M. Fairtlough, M. Mendler: An intuitionistic modal logic with applications to the formal verification of hardware. In L. Pacholski and J. Tiuryn (eds.), Proc. of the 1994 Annual Conference of the European Association for Computer Science Logic (CSL'94), pp. 354-368, Springer 1995 (LNCS 933).

    AUTHORS' COPY - NOT FOR DISTRIBUTION

    M. Fairtlough, M. Mendler: An intuitionistic modal logic with applications to the formal verification of hardware. In L. Pacholski and J. Tiuryn (eds.), Proc. of the 1994 Annual Conference of the European Association for Computer Science Logic (CSL'94), pp. 354-368, Springer 1995 (LNCS 933).

    AUTHORS' COPY - NOT FOR DISTRIBUTION

    M. Fairtlough, M. Mendler: An intuitionistic modal logic with applications to the formal verification of hardware. In L. Pacholski and J. Tiuryn (eds.), Proc. of the 1994 Annual Conference of the European Association for Computer Science Logic (CSL'94), pp. 354-368, Springer 1995 (LNCS 933).

    You might also like