PREINING, Norbert
Prefix title Titel (vorangestellt)
Projektass.(FWF) Dipl.-Ing. Dr.techn.
Full name Familienname, Vorname
PREINING, Norbert
Results 1-3 of 3 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Baaz, Matthias ; Ciabattoni, Agata ; Preining, Norbert | SAT in monadic Gödel logics: a borderline between decidability and undecidability | Konferenzbeitrag Inproceedings | 2009 | |
| 2 | Baaz, Matthias ; Preining, Norbert | First Order Gödel Logics with propositional quantifiers | Konferenzbeitrag Inproceedings | 2018 | |
| 3 | Baaz, Matthias ; Preining, Norbert ; Zach, Richard | Completeness of a hypersequent calculus for some first-order Gödel logics with delta | Konferenzbeitrag Inproceedings | 2006 |
Results 1-1 of 1 (Search time: 0.001 seconds).
| Title | P-Investigator |
|---|---|
| Semantics for Gödel-Logics | PREINING, Norbert |