Publications
Publications
Schriften zur Mathematischen Logik und Theoretischen Informatik
| Nr./Year | Author | Title |
|---|---|---|
| 1/2008 | Korovina, Kudinov | Basic Principles of Σ-definability and Abstract Computability |
| 2/2008 | Kudinov, Selivanov and Zhukov | Definatbility in the h-quasiorder of labeled forests |
| 3/2008 | D. Spreen | Representing L-Domains as Information Systems |
| 1/2009 | D. Spreen (ed) | Continuity, Computability, Constructivity: From Logic to Algorithms Proceedings 2009 |