Facet browsing currently unavailable
Page 10 of 2183 results
Sort by: relevance publication year
Reversible Conservative Rational Abstract Geometrical Computation Is Turing-Universal BOOK CHAPTER published 2006 in Logical Approaches to Computational Barriers |
Understanding and Using Spector’s Bar Recursive Interpretation of Classical Analysis BOOK CHAPTER published 2006 in Logical Approaches to Computational Barriers |
What is the logic of propositional identity? JOURNAL ARTICLE published 26 March 2006 in Logic and Logical Philosophy |
Degrees of Weakly Computable Reals BOOK CHAPTER published 2006 in Logical Approaches to Computational Barriers |
LJQ: A Strongly Focused Calculus for Intuitionistic Logic BOOK CHAPTER published 2006 in Logical Approaches to Computational Barriers |
Two kinds of unexpected problems in writings on logic JOURNAL ARTICLE published 26 June 2006 in Logic and Logical Philosophy |
A Measure of Space for Computing over the Reals BOOK CHAPTER published 2006 in Logical Approaches to Computational Barriers |
An Invariant Cost Model for the Lambda Calculus BOOK CHAPTER published 2006 in Logical Approaches to Computational Barriers |
Phase Transition Thresholds for Some Natural Subclasses of the Computable Functions BOOK CHAPTER published 2006 in Logical Approaches to Computational Barriers |
Partially Ordered Connectives and ∑1 1 on Finite Models BOOK CHAPTER published 2006 in Logical Approaches to Computational Barriers |
A Subrecursive Refinement of the Fundamental Theorem of Algebra BOOK CHAPTER published 2006 in Logical Approaches to Computational Barriers |
Introduction BOOK CHAPTER published in Russell's Philosophy of Logical Analysis, 1897-1905 |
Don't Just Sell What You Make; Make What Might Sell! BOOK CHAPTER published 2020 in It's Logical: Innovating Profitable Business Models |
From a Zoo to a Zoology: Descriptive Complexity for Graph Polynomials BOOK CHAPTER published 2006 in Logical Approaches to Computational Barriers |
Introduction BOOK CHAPTER published 23 November 2021 in The Routledge Handbook of Logical Empiricism |
Induction BOOK CHAPTER published 2021 in Introduction to Logic and Logical Discourse |
Introduction BOOK CHAPTER published 30 September 2022 in The Logical Approach to Automatic Sequences |
Introduction BOOK CHAPTER published in Logical and Relational Learning |
The paraconsistent logic Z. A possible solution to Jaśkowski’s problem JOURNAL ARTICLE published 26 June 2006 in Logic and Logical Philosophy |
Böhm Trees, Krivine’s Machine and the Taylor Expansion of Lambda-Terms BOOK CHAPTER published 2006 in Logical Approaches to Computational Barriers |