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 |