by
Beckmann, Arnold. editor.
Format:
Electronic Resources
Excerpt:
Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece
by
Beckmann, Arnold. editor.
Format:
Electronic Resources
Excerpt:
Mathematical Logic and Formal Languages.
View Other Search Results
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: