-
221
Products of effective topological spaces and a uniformly computable Tychonoff Theorem
Published 2013-11-01Subjects: Get full text
Article -
222
Higher-order semantics for quantum programming languages with classical control
Published 2012Subjects: “…Mathematical logic and foundations…”
Thesis -
223
Logical compactness and constraint satisfaction problems
Published 2017-01-01Subjects: “…mathematics - logic…”
Get full text
Article -
224
On the Monadic Second-Order Transduction Hierarchy
Published 2010-06-01Subjects: “…mathematics - logic…”
Get full text
Article -
225
Turing machines on represented sets, a model of computation for Analysis
Published 2011-06-01Subjects: “…mathematics - logic…”
Get full text
Article -
226
Characterization theorem for the conditionally computable real functions
Published 2017-07-01Subjects: “…mathematics - logic…”
Get full text
Article -
227
Foundations of Online Structure Theory II: The Operator Approach
Published 2021-07-01Subjects: “…mathematics - logic…”
Get full text
Article -
228
Overlap Algebras as Almost Discrete Locales
Published 2023-12-01Subjects: “…mathematics - logic…”
Get full text
Article -
229
-
230
Connect the dots: connecting problem solving and videogames in initial training of early childhood education teachers
Published 2024-02-01Subjects: Get full text
Article -
231
Automatic verification of competitive stochastic systems
Published 2014Subjects: “…Mathematical logic and foundations…”
Thesis -
232
-
233
Decidable Expansions of Labelled Linear Orderings
Published 2011-05-01Subjects: Get full text
Article -
234
Bounded Arithmetic in Free Logic
Published 2012-08-01Subjects: “…mathematics - logic…”
Get full text
Article -
235
Algorithmic randomness for Doob's martingale convergence theorem in continuous time
Published 2014-12-01Subjects: Get full text
Article -
236
Idempotents in intensional type theory
Published 2017-04-01Subjects: “…mathematics - logic…”
Get full text
Article -
237
A sequent calculus for a semi-associative law
Published 2019-02-01Subjects: “…mathematics - logic…”
Get full text
Article -
238
Co-c.e. spheres and cells in computable metric spaces
Published 2011-08-01Subjects: Get full text
Article -
239
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
Published 2015-10-01Subjects: “…mathematics - logic…”
Get full text
Article -
240
Towards a Proof Theory of G\"odel Modal Logics
Published 2011-05-01Subjects: “…mathematics - logic…”
Get full text
Article