Publications 1999

Main content

  • David Basin and Seán Matthews and Luca Viganò.
    Modal Logics K, T, K4, S4: Labelled Proof Systems and New Complexity Results
    .
    In The Bulletin of Symbolic Logic, 5 (1), pages 91-93, 1999.
    Abstract of a contributed talk at the 1998 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium'98
    [BibTeX (BIB, 481 Bytes)]
  • Ian Frank and David Basin.
    Strategies Explained.
    In Proceedings of the Fifth Game Programming Workshop in Japan (GPW-99). 1999.
    Also available from the Electrotechnical Laboratory, 1-1-4 Umezono, Japan
    as Technical Report ETL-99-32
    [abstract (TXT, 1 KB) | BibTeX (BIB, 2 KB)]
  • X. Zhu and S. Gauch and L. Gerhard and N. Kral and A. Pretschner. Ontology-Based Web Site Mapping for Information Exploration. In 8th Intl. Conf. on Information and Knowledge Management.ACM, 1999.
    [abstract (TXT, 1 KB) | BibTeX (BIB, 2 KB)]
 
Page URL: http://www.infsec.ethz.ch/research/publications/pub1999.html
Tue Jun 27 14:17:35 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich