Showing 221 - 240 results of 506 for search '"Mathematical logic"', query time: 0.08s Refine Results
  1. 221
    Products of effective topological spaces and a uniformly computable Tychonoff Theorem

    Products of effective topological spaces and a uniformly computable Tychonoff Theorem by Robert Rettinger, Klaus Weihrauch

    Published 2013-11-01
    Subjects:
    Get full text
    Article
  2. 222
    Higher-order semantics for quantum programming languages with classical control

    Higher-order semantics for quantum programming languages with classical control by Atzemoglou, GP

    Published 2012
    Subjects: “…Mathematical logic and foundations…”
    Thesis
  3. 223
    Logical compactness and constraint satisfaction problems

    Logical compactness and constraint satisfaction problems by Danny Rorabaugh, Claude Tardif, David Wehlau

    Published 2017-01-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  4. 224
    On the Monadic Second-Order Transduction Hierarchy

    On the Monadic Second-Order Transduction Hierarchy by Achim Blumensath, Bruno Courcelle

    Published 2010-06-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  5. 225
    Turing machines on represented sets, a model of computation for Analysis

    Turing machines on represented sets, a model of computation for Analysis by Nazanin Tavana, Klaus Weihrauch

    Published 2011-06-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  6. 226
    Characterization theorem for the conditionally computable real functions

    Characterization theorem for the conditionally computable real functions by Ivan Georgiev

    Published 2017-07-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  7. 227
    Foundations of Online Structure Theory II: The Operator Approach

    Foundations of Online Structure Theory II: The Operator Approach by Rod Downey, Alexander Melnikov, Keng Meng Ng

    Published 2021-07-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  8. 228
    Overlap Algebras as Almost Discrete Locales

    Overlap Algebras as Almost Discrete Locales by Francesco Ciraulo

    Published 2023-12-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  9. 229
    The Axiomatics of Free Group Rings

    The Axiomatics of Free Group Rings by Benjamin Fine, Anthony Gaglione, Martin Kreuzer, Gerhard Rosenberger, Dennis Spellman

    Published 2021-12-01
    Subjects:
    Get full text
    Article
  10. 230
    Connect the dots: connecting problem solving and videogames in initial training of early childhood education teachers

    Connect the dots: connecting problem solving and videogames in initial training of early childhood education teachers by Juan Antonio Antequera-Barroso, Enrique Carmona-Medeiro

    Published 2024-02-01
    Subjects:
    Get full text
    Article
  11. 231
    Automatic verification of competitive stochastic systems

    Automatic verification of competitive stochastic systems by Simaitis, A

    Published 2014
    Subjects: “…Mathematical logic and foundations…”
    Thesis
  12. 232
    Techniques and tools for the verification of concurrent systems

    Techniques and tools for the verification of concurrent systems by Palikareva, H

    Published 2012
    Subjects:
    Thesis
  13. 233
    Decidable Expansions of Labelled Linear Orderings

    Decidable Expansions of Labelled Linear Orderings by Alexis Bes, Alexander Rabinovich

    Published 2011-05-01
    Subjects:
    Get full text
    Article
  14. 234
    Bounded Arithmetic in Free Logic

    Bounded Arithmetic in Free Logic by Yoriyuki Yamagata

    Published 2012-08-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  15. 235
    Algorithmic randomness for Doob's martingale convergence theorem in continuous time

    Algorithmic randomness for Doob's martingale convergence theorem in continuous time by Bjørn Kjos-Hanssen, Paul Kim Long V. Nguyen, Jason Rute

    Published 2014-12-01
    Subjects:
    Get full text
    Article
  16. 236
    Idempotents in intensional type theory

    Idempotents in intensional type theory by Michael Shulman

    Published 2017-04-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  17. 237
    A sequent calculus for a semi-associative law

    A sequent calculus for a semi-associative law by Noam Zeilberger

    Published 2019-02-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  18. 238
    Co-c.e. spheres and cells in computable metric spaces

    Co-c.e. spheres and cells in computable metric spaces by Zvonko Iljazovic

    Published 2011-08-01
    Subjects:
    Get full text
    Article
  19. 239
    New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic

    New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic by Bart Jacobs

    Published 2015-10-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  20. 240
    Towards a Proof Theory of G\"odel Modal Logics

    Towards a Proof Theory of G\"odel Modal Logics by George Metcalfe, Nicola Olivetti

    Published 2011-05-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article

Search Tools: