From Kripke models to algebraic counter-valuations

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Originalspråkengelska
Titel på gästpublikation International Conference Tableaux '98 (1998): Automated reasoning with analytic tableaux and related methods : Lecture notes in computer science; 1397
Antal sidor15
Utgivningsdatum1998
Sidor247-261
ISBN (tryckt)3-540-64406-7
StatusPublicerad - 1998
MoE-publikationstypA4 Artikel i en konferenspublikation

Citera det här