Found: 71
Select item for more details and to access through your institution.
Computability Theory on Polish Metric Spaces.
- Published in:
- 2023
- By:
- Publication type:
- Abstract
Lifeworld art: on Husserl's Crisis book and beyond.
- Published in:
- Continental Philosophy Review, 2022, v. 55, n. 4, p. 417, doi. 10.1007/s11007-022-09586-9
- By:
- Publication type:
- Article
Computability, Notation, and de re Knowledge of Numbers.
- Published in:
- Philosophies, 2022, v. 7, n. 1, p. 1, doi. 10.3390/philosophies7010020
- By:
- Publication type:
- Article
Computational Thinking Skills of Turkish and Indian Teacher Candidates: A Comparative Study.
- Published in:
- Psychological & Educational Studies Review, 2021, v. 8, n. 1, p. 24, doi. 10.17220/ijpes.2021.8.1.226
- By:
- Publication type:
- Article
Human-Effective Computability †.
- Published in:
- Philosophia Mathematica, 2019, v. 27, n. 1, p. 61, doi. 10.1093/philmat/nky011
- By:
- Publication type:
- Article
A game-semantic model of computation.
- Published in:
- Research in the Mathematical Sciences, 2018, v. 6, n. 1, p. 1, doi. 10.1007/s40687-018-0163-z
- By:
- Publication type:
- Article
Neutrosophic Computability and Enumeration.
- Published in:
- Symmetry (20738994), 2018, v. 10, n. 11, p. 643, doi. 10.3390/sym10110643
- By:
- Publication type:
- Article
Preface.
- Published in:
- Theory of Computing Systems, 2018, v. 62, n. 7, p. 1553, doi. 10.1007/s00224-018-9853-6
- By:
- Publication type:
- Article
Counterpossibles in Science: The Case of Relative Computability.
- Published in:
- Nous, 2018, v. 52, n. 3, p. 530, doi. 10.1111/nous.12177
- By:
- Publication type:
- Article
Trans-algorithmic nature of learning in biological systems.
- Published in:
- Biological Cybernetics, 2018, v. 112, n. 4, p. 357, doi. 10.1007/s00422-018-0757-y
- By:
- Publication type:
- Article
ON THE QUESTION OF WHETHER THE MIND CAN BE MECHANIZED, I: FROM GÖDEL TO PENROSE.
- Published in:
- Journal of Philosophy, 2018, v. 115, n. 7, p. 337
- By:
- Publication type:
- Article
AVOIDING EFFECTIVE PACKING DIMENSION 1 BELOW ARRAY NONCOMPUTABLE C.E. DEGREES.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 2, p. 717, doi. 10.1017/jsl.2017.78
- By:
- Publication type:
- Article
POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 1, p. 1, doi. 10.1017/bsl.2017.43
- By:
- Publication type:
- Article
A HIERARCHY OF COMPUTABLY ENUMERABLE DEGREES.
- Published in:
- Bulletin of Symbolic Logic, 2018, v. 24, n. 1, p. 53, doi. 10.1017/bsl.2017.41
- By:
- Publication type:
- Article
A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDS.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 1, p. 326, doi. 10.1017/jsl.2017.50
- By:
- Publication type:
- Article
Some structural properties of quasi-degrees.
- Published in:
- Logic Journal of the IGPL, 2018, v. 26, n. 1, p. 1, doi. 10.1093/jigpal/jzx058
- By:
- Publication type:
- Article
2016 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of Connecticut Storrs, CT, USA May 23–26, 2016.
- Published in:
- 2017
- Publication type:
- Proceeding
Processes and Structures on Approximation Spaces.
- Published in:
- Algebra & Logic, 2017, v. 56, n. 1, p. 63, doi. 10.1007/s10469-017-9426-9
- By:
- Publication type:
- Article
CONFERENCE ON COMPUTABILITY, COMPLEXITY AND RANDOMNESS.
- Published in:
- 2017
- Publication type:
- Proceeding
COMPUTABLE FUNCTORS AND EFFECTIVE INTERPRETABILITY.
- Published in:
- Journal of Symbolic Logic, 2017, v. 82, n. 1, p. 77, doi. 10.1017/jsl.2016.12
- By:
- Publication type:
- Article
Generalized Hyperarithmetical Computability Over Structures.
- Published in:
- Algebra & Logic, 2017, v. 55, n. 6, p. 507, doi. 10.1007/s10469-017-9421-1
- By:
- Publication type:
- Article
On Q.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2017, v. 21, n. 1, p. 39, doi. 10.1007/s00500-016-2341-5
- By:
- Publication type:
- Article
MAXIMAL COMPUTABILITY STRUCTURES.
- Published in:
- Bulletin of Symbolic Logic, 2016, v. 22, n. 4, p. 445, doi. 10.1017/bsl.2016.26
- By:
- Publication type:
- Article
FINITARY REDUCIBILITY ON EQUIVALENCE RELATIONS.
- Published in:
- Journal of Symbolic Logic, 2016, v. 81, n. 4, p. 1225, doi. 10.1017/jsl.2016.23
- By:
- Publication type:
- Article
COMPARING TWO VERSIONS OF THE REALS.
- Published in:
- Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 1115, doi. 10.1017/jsl.2015.77
- By:
- Publication type:
- Article
On Computability and Triviality of Well Groups.
- Published in:
- Discrete & Computational Geometry, 2016, v. 56, n. 1, p. 126, doi. 10.1007/s00454-016-9794-2
- By:
- Publication type:
- Article
Emulating cellular automata in chemical reaction-diffusion networks.
- Published in:
- Natural Computing, 2016, v. 15, n. 2, p. 197, doi. 10.1007/s11047-015-9503-8
- By:
- Publication type:
- Article
The computational capability of chemical reaction automata.
- Published in:
- Natural Computing, 2016, v. 15, n. 2, p. 215, doi. 10.1007/s11047-015-9504-7
- By:
- Publication type:
- Article
Weakly precomplete computably enumerable equivalence relations.
- Published in:
- Mathematical Logic Quarterly, 2016, v. 62, n. 1/2, p. 111, doi. 10.1002/malq.201500057
- By:
- Publication type:
- Article
Church's Thesis: Logic, Mind and Nature.
- Published in:
- 2016
- Publication type:
- Book Review
Perfect Local Computability of Superatomic Boolean Algebras.
- Published in:
- Journal of Mathematical Sciences, 2015, v. 211, n. 6, p. 789, doi. 10.1007/s10958-015-2634-8
- By:
- Publication type:
- Article
THE COMPUTABILITY PATH ORDERING.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 4, p. 1, doi. 10.2168/LMCS-11(4:3)2015
- By:
- Publication type:
- Article
Ramsey-type graph coloring and diagonal non-computability.
- Published in:
- Archive for Mathematical Logic, 2015, v. 54, n. 7/8, p. 899, doi. 10.1007/s00153-015-0448-5
- By:
- Publication type:
- Article
POSITIVE FRAGMENTS OF COALGEBRAIC LOGICS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 3, p. 1, doi. 10.2168/LMCS-11(3:18)2015
- By:
- Publication type:
- Article
PRESENTING DISTRIBUTIVE LAWS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 3, p. 1, doi. 10.2168/LMCS-11(3:2)2015
- By:
- Publication type:
- Article
LOGICS WITH RIGIDLY GUARDED DATA TESTS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 3, p. 1, doi. 10.2168/LMCS-11(3:10)2015
- By:
- Publication type:
- Article
QUANTIFIED CONSTRAINTS AND CONTAINMENT PROBLEMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 3, p. 1, doi. 10.2168/LMCS-11(3:9)2015
- By:
- Publication type:
- Article
NEW DIRECTIONS IN CATEGORICAL LOGIC, FOR CLASSICAL, PROBABILISTIC AND QUANTUM LOGIC.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 3, p. 1, doi. 10.2168/LMCS-11(3:24)2015
- By:
- Publication type:
- Article
ON THE SYSTEM CL12 OF COMPUTABILITY LOGIC.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 3, p. 1, doi. 10.2168/LMCS-11(3:1)2015
- By:
- Publication type:
- Article
VERIFICATION FOR TIMED AUTOMATA EXTENDED WITH UNBOUNDED DISCRETE DATA STRUCTURES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 3, p. 1, doi. 10.2168/LMCS-11(3:20)2015
- By:
- Publication type:
- Article
A CORRESPONDENCE BETWEEN ROOTED PLANAR MAPS AND NORMAL PLANAR LAMBDA TERMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 3, p. 1, doi. 10.2168/LMCS-11(3:22)2015
- By:
- Publication type:
- Article
From mathematical logic to programming-language semantics: a discussion with Tony Hoare.
- Published in:
- Journal of Logic & Computation, 2015, v. 25, n. 4, p. 1091, doi. 10.1093/logcom/exs071
- By:
- Publication type:
- Article
The stability of the deterministic Skorokhod problem is undecidable.
- Published in:
- Queueing Systems, 2015, v. 79, n. 3/4, p. 221, doi. 10.1007/s11134-014-9424-8
- By:
- Publication type:
- Article
THE COMPUTATIONAL COMPLEXITY OF PROPOSITIONAL CIRQUENT CALCULUS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/lmcs-11(1:12)2015
- By:
- Publication type:
- Article
COMPUTABILITY AND HUMAN SYMBOLIC OUTPUT.
- Published in:
- Logic & Logical Philosophy, 2014, v. 23, n. 4, p. 391, doi. 10.12775/LLP.2014.009
- By:
- Publication type:
- Article
A propositional system induced by Japaridze's approach to IF logic.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 6, p. 982
- By:
- Publication type:
- Article
Beyond Physics? On the Prospects of Finding a Meaningful Oracle.
- Published in:
- Foundations of Science, 2014, v. 19, n. 4, p. 403, doi. 10.1007/s10699-014-9349-z
- By:
- Publication type:
- Article
MORE ON GEOMETRIC MORPHISMS BETWEEN REALIZABILITY TOPOSES.
- Published in:
- Theory & Applications of Categories, 2014, v. 29, n. 30, p. 874
- By:
- Publication type:
- Article
Computable Diagonalizations and Turing's Cardinality Paradox.
- Published in:
- Journal for General Philosophy of Science, 2014, v. 45, n. 2, p. 239, doi. 10.1007/s10838-014-9244-x
- By:
- Publication type:
- Article
Families Without Minimal Numberings.
- Published in:
- Algebra & Logic, 2014, v. 53, n. 4, p. 271, doi. 10.1007/s10469-014-9290-9
- By:
- Publication type:
- Article