Search results for: John V. Tucker
Technology in Society > 2016 > 46 > C > 140-148
Lecture Notes in Computer Science > Prospects for Hardware Foundations > I Mathematical Foundations > 27-68
Lecture Notes in Computer Science > Functional Imaging and Modeling of the Heart > Session 1: Anatomy Extraction and Description > 30-38
Lecture Notes in Computer Science > Algebra, Meaning, and Computation > Models, Deduction, and Computation > 459-475
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Theory and Decision Library A: > Causality, Meaningful Complexity and Embodied Cognition > Complexity, Incomputability and Emergence > 155-183
Formal Aspects of Computing > 2013 > 25 > 2 > 189-218
Technology in Society > 2012 > 34 > 1 > 84-93
Mathematical Logic Quarterly > 57 > 2 > 217 - 231
Technology in Society > 2011 > 33 > 1-2 > 44-51
Studia Logica > 2010 > 95 > 1-2 > 279-300
Electronic Notes in Theoretical Computer Science > 2008 > 221 > Complete > 3-15
Theoretical Computer Science > 2007 > 371 > 1-2 > 4-19
Theoretical Computer Science > 2007 > 371 > 1-2 > 115-146