Showing 181 - 200 results of 506 for search '"Mathematical logic"', query time: 0.10s Refine Results
  1. 181
    The sequential functionals of type $(\iota \rightarrow \iota)^n \rightarrow \iota$ form a dcpo for all $n \in \Bbb N$

    The sequential functionals of type $(\iota \rightarrow \iota)^n \rightarrow \iota$ form a dcpo for all $n \in \Bbb N$ by Dag Normann

    Published 2018-03-01
    Subjects:
    Get full text
    Article
  2. 182
    Bounded variation and the strength of Helly's selection theorem

    Bounded variation and the strength of Helly's selection theorem by Alexander P. Kreuzer

    Published 2014-12-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  3. 183
    Reachability for infinite time Turing machines with long tapes

    Reachability for infinite time Turing machines with long tapes by Merlin Carl, Benjamin Rin, Philipp Schlicht

    Published 2020-04-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  4. 184
    Approximation systems for functions in topological and in metric spaces

    Approximation systems for functions in topological and in metric spaces by Dimiter Skordev

    Published 2013-11-01
    Subjects:
    Get full text
    Article
  5. 185
    Effective zero-dimensionality for computable metric spaces

    Effective zero-dimensionality for computable metric spaces by Robert Kenny

    Published 2015-03-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  6. 186
    Tameness in least fixed-point logic and McColm's conjecture

    Tameness in least fixed-point logic and McColm's conjecture by Siddharth Bhaskar, Alex Kruckman

    Published 2021-01-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  7. 187
    Ordered Models of the Lambda Calculus

    Ordered Models of the Lambda Calculus by Antonino Salibra, Alberto Carraro

    Published 2013-12-01
    Subjects:
    Get full text
    Article
  8. 188
    The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems

    The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems by Dag Normann

    Published 2015-03-01
    Subjects:
    Get full text
    Article
  9. 189
    Computing with Infinite Objects: the Gray Code Case

    Computing with Infinite Objects: the Gray Code Case by Dieter Spreen, Ulrich Berger

    Published 2023-07-01
    Subjects:
    Get full text
    Article
  10. 190
    Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language

    Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language by Thomas Powell

    Published 2024-01-01
    Subjects:
    Get full text
    Article
  11. 191
    Thin Games with Symmetry and Concurrent Hyland-Ong Games

    Thin Games with Symmetry and Concurrent Hyland-Ong Games by Simon Castellan, Pierre Clairambault, Glynn Winskel

    Published 2019-03-01
    Subjects:
    Get full text
    Article
  12. 192
    A revised completeness result for the simply typed $\lambda\mu$-calculus using realizability semantics

    A revised completeness result for the simply typed $\lambda\mu$-calculus using realizability semantics by Karim Nour, Mohamad Ziadeh

    Published 2017-08-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  13. 193
    Applicable Mathematics in a Minimal Computational Theory of Sets

    Applicable Mathematics in a Minimal Computational Theory of Sets by Arnon Avron, Liron Cohen

    Published 2018-10-01
    Subjects:
    Get full text
    Article
  14. 194
    Games and Strategies as Event Structures

    Games and Strategies as Event Structures by Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel

    Published 2017-09-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  15. 195
    Compact manifolds with computable boundaries

    Compact manifolds with computable boundaries by Zvonko Iljazovic

    Published 2013-12-01
    Subjects:
    Get full text
    Article
  16. 196
    Computability of 1-manifolds

    Computability of 1-manifolds by Konrad Burnik, Zvonko Iljazovic

    Published 2014-06-01
    Subjects:
    Get full text
    Article
  17. 197
    Unsolvability Cores in Classification Problems

    Unsolvability Cores in Classification Problems by Hermann K. -G. Walter, Ulrike Brandt

    Published 2014-06-01
    Subjects:
    Get full text
    Article
  18. 198
    Total Representations

    Total Representations by Victor Selivanov

    Published 2013-06-01
    Subjects:
    Get full text
    Article
  19. 199
    A Coalgebraic Approach to Dualities for Neighborhood Frames

    A Coalgebraic Approach to Dualities for Neighborhood Frames by Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot

    Published 2022-07-01
    Subjects:
    Get full text
    Article
  20. 200
    Small Stone in Pool

    Small Stone in Pool by Samuel R. Buss, Leszek Aleksander Kolodziejczyk

    Published 2014-06-01
    Subjects:
    Get full text
    Article

Search Tools: