TERWIJN, Sebastiaan
Prefix title Titel (vorangestellt)
Privatdoz. Dr.
Full name Familienname, Vorname
TERWIJN, Sebastiaan
Results 1-3 of 3 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Terwijn, Sebastiaan A. | Learning and computing in the limit | Konferenzbeitrag Inproceedings | 2006 | |
| 2 | Terwijn, Sebastiaan A. | Kripke models, distributive lattices, and Medvedev degrees | Konferenzbeitrag Inproceedings | 2005 | |
| 3 | Terwijn, Sebastiaan A. ; Artemov, Sergei ; Nerode, Anil | Decidability and undecidability in probability logic | Konferenzbeitrag Inproceedings  | 2009 |
Results 1-1 of 1 (Search time: 0.0 seconds).
| Title | P-Investigator |
|---|---|
| Computational Aspects of Constructive and Probability Logic | TERWIJN, Sebastiaan |