Dialogues games for classical logic (short paper)

  • J. Alama
  • , A. Knoks
  • , S.L. Uckelman

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review

    308 Downloads (Pure)
    Original languageEnglish
    Title of host publicationTableaux 2011
    Subtitle of host publicationWorkshops, tutorials and short papers
    EditorsM. Giese, R. Kuznets
    Place of PublicationBern
    PublisherUniversiteit Bern
    Pages82-86
    Number of pages4
    Publication statusPublished - 2011

    Access to Document

      Cite this