Search results for: Till Tantau
Lecture Notes in Computer Science > Theory and Applications of Models of Computation > Contributed Papers > 201-210
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2008 > Contributed Papers > 467-478
Lecture Notes in Computer Science > Implementation of Functional Languages > Language Concepts > 149-164
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2002 > Contributed Talks > 625-636
Lecture Notes in Computer Science > FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 216-227
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2008 > Contributed Papers > 299-310
Algorithms Unplugged > Arithmetic and Encryption > 141-146
Algorithmica > 2015 > 71 > 3 > 661-701