..
Suche

Personensuche
Veranstaltungssuche
Katalog der UB Siegen
/ fb6 / tcs / publications /
 

Publikationen

Veröffentlichungen

Schriften zur Mathematischen Logik und Theoretischen Informatik

Nr./Jahr Autor Titel
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