Search results for: Vasco Brattka
Theory of Computing Systems > 2017 > 61 > 4 > 1376-1426
Annals of Pure and Applied Logic > 2017 > 168 > 8 > 1605-1608
Lecture Notes in Computer Science > SOFSEM 2000: Theory and Practice of Informatics > Contributed Papers > 450-458
Lecture Notes in Computer Science > Computing and Combinatorics > Computational Complexity > 184-193
Lecture Notes in Computer Science > Computability and Complexity in Analysis > Computability and Complexity in Analysis > 378-388
Lecture Notes in Computer Science > Computer Science Logic > Constructive Reasoning and Computational Mathematics > 462-476
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2001 > Contributed Talks > 224-235
Lecture Notes in Computer Science > STACS 2003 > Contributed Papers > 391-402
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Annals of Pure and Applied Logic > 2012 > 163 > 8 > 986-1008
Annals of Pure and Applied Logic > 2012 > 163 > 6 > 623-655
Annals of Pure and Applied Logic > 2010 > 162 > 3 > 182-193
Annals of Pure and Applied Logic > 2009 > 157 > 2-3 > 85-96
Electronic Notes in Theoretical Computer Science > 2008 > 221 > Complete > 45-60