Search results for: Jan A. Bergstra
Lecture Notes in Computer Science > Prospects for Hardware Foundations > II Hardware And Dynamical Systems > 278-308
Indagationes Mathematicae > 2016 > 27 > 3 > 727-748
Lecture Notes in Computer Science > Processes, Terms and Cycles: Steps on the Road to Infinity > 445-495
Lecture Notes in Computer Science > Algebra, Meaning, and Computation > Models, Deduction, and Computation > 459-475
Journal of Applied Logic > 2015 > 13 > 2 Part B > 1-23
Theory of Computing Systems > 2012 > 50 > 4 > 706-720
Theoretical Computer Science > 2011 > 412 > 28 > 3122-3128
Theory of Computing Systems > 2011 > 48 > 4 > 840-864
Journal of Applied Logic > 2007 > 5 > 1 > 170-192
Science of Computer Programming > 2007 > 64 > 3 > 264-285
Acta Informatica > 2007 > 44 > 2 > 75-90
Electronic Notes in Theoretical Computer Science > 2006 > 162 > Complete > 79-85