Publications 1998

Main content

  • David Basin and Seán Matthews and Luca Viganò.
    A Modular Presentation of Modal Logics in a Logical Framework
    .
    In The Tbilisi Symposium on Logic, Language and Computation: Selected Papers.
    CSLI Publications, 1998.
    [abstract (TXT, 601 Bytes) | BibTeX (BIB, 1 KB) ]
 
Page URL: http://www.infsec.ethz.ch/research/publications/pub1998.html
Sun Jun 25 17:14:59 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich