by
Beckmann, Arnold. editor.
Format:
Electronic Resources
Excerpt:
Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece
by
Cooper, S. Barry. editor.
Format:
Electronic Resources
Excerpt:
Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007
View Other Search Results
by
Cooper, S. Barry. editor.
Format:
Electronic Resources
Excerpt:
Mathematical Logic and Foundations.
by
Beckmann, Arnold. editor.
Format:
Electronic Resources
Excerpt:
Turing-Universal -- LJQ: A Strongly Focused Calculus for Intuitionistic Logic -- Böhm Trees, Krivine’s Machine and
Limit Search Results
Narrowed by: