Publications

Publications of

Conference papers
  • Philippe Balbiani, Stéphane Demri

    Prefixed tableau systems for modal logics with enriched languages

    In : Fifteenth International Joint Conference on Artificial Intelligence (IJCAI 1997), Japon, 01/01/97-31/12/97, M. Pollack (Eds.), International Joint Conferences on Artificial Intelligence, pp. 190-195, January 1997.

    BibTeX

Department
Publication type
Criteria





Operator   AND   OR
Sort by