From Kripke models to algebraic counter-valuations

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Alkuperäiskielienglanti
Otsikko International Conference Tableaux '98 (1998): Automated reasoning with analytic tableaux and related methods : Lecture notes in computer science; 1397
Sivumäärä15
Julkaisupäivä1998
Sivut247-261
ISBN (painettu)3-540-64406-7
TilaJulkaistu - 1998
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

Siteeraa tätä