Search results for: Helmut Schwichtenberg
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > CALCO Tools Workshop > 393-399
Lecture Notes in Computer Science > Artificial Intelligence and Symbolic Computation > Invited Presentations > 15-25
Lecture Notes in Computer Science > Prospects for Hardware Foundations > I Mathematical Foundations > 117-137
Mathematical Logic Quarterly > 62 > 1-2 > 94 - 101
Synthese Library > Logicism, Intuitionism, and Formalism > Intuitionism and Constructive Mathematics > 255-275
Indagationes Mathematicae > 2013 > 24 > 4 > 1073-1104
Annals of Pure and Applied Logic > 2013 > 164 > 6 > 740-748
Theory of Computing Systems > 2008 > 43 > 3-4 > 583-602
Theoretical Computer Science > 2006 > 357 > 1-3 > 202-214
Studia Logica > 2006 > 82 > 1 > 25-49
Studia Logica > 2006 > 82 > 1 > 25-49
Theoretical Computer Science > 2004 > 318 > 1-2 > 3-27
Information and Computation > 2003 > 183 > 1 > 19-42