-
301
EXPTIME Tableaux for the Coalgebraic mu-Calculus
Published 2011-08-01Subjects: Get full text
Article -
302
Noncomputable functions in the Blum-Shub-Smale model
Published 2011-05-01Subjects: Get full text
Article -
303
-
304
Collapsible Pushdown Graphs of Level 2 are Tree-Automatic
Published 2013-03-01Subjects: Get full text
Article -
305
Completeness for the coalgebraic cover modality
Published 2012-07-01Subjects: Get full text
Article -
306
Asymptotically almost all \lambda-terms are strongly normalizing
Published 2013-02-01Subjects: “…mathematics - logic…”
Get full text
Article -
307
Every metric space is separable in function realizability
Published 2019-05-01Subjects: “…mathematics - logic…”
Get full text
Article -
308
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
Published 2022-04-01Subjects: Get full text
Article -
309
Pebble Games, Proof Complexity, and Time-Space Trade-offs
Published 2013-09-01Subjects: Get full text
Article -
310
DRAT and Propagation Redundancy Proofs Without New Variables
Published 2021-04-01Subjects: Get full text
Article -
311
Closed Sets and Operators thereon: Representations, Computability and Complexity
Published 2018-04-01Subjects: Get full text
Article -
312
Hanf numbers via accessible images
Published 2017-06-01Subjects: “…mathematics - logic…”
Get full text
Article -
313
-
314
A feasible interpolation for random resolution
Published 2017-02-01Subjects: “…mathematics - logic…”
Get full text
Article -
315
-
316
An extensible equality checking algorithm for dependent type theories
Published 2022-01-01Subjects: Get full text
Article -
317
-
318
Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
Published 2023-12-01Subjects: Get full text
Article -
319
Essential Convexity and Complexity of Semi-Algebraic Constraints
Published 2012-10-01Subjects: Get full text
Article -
320
A topological interpretation of three Leibnizian principles within the functional extensions
Published 2018-07-01Subjects: “…mathematics - logic…”
Get full text
Article