Showing 321 - 340 results of 687 for search '"Mathematical logic"', query time: 0.35s Refine Results
  1. 321
    A unifying framework for continuity and complexity in higher types

    A unifying framework for continuity and complexity in higher types by Thomas Powell

    Published 2020-09-01
    Subjects:
    Get full text
    Article
  2. 322
    Some theorems on passing from local to global presence of properties of functions

    Some theorems on passing from local to global presence of properties of functions by Dimiter Skordev

    Published 2017-04-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  3. 323
    An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction

    An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction by Hubie Chen, Moritz Müller

    Published 2013-03-01
    Subjects:
    Get full text
    Article
  4. 324
    Ambiguity of {\omega}-Languages of Turing Machines

    Ambiguity of {\omega}-Languages of Turing Machines by Olivier Finkel

    Published 2014-08-01
    Subjects:
    Get full text
    Article
  5. 325
    Width and size of regular resolution proofs

    Width and size of regular resolution proofs by Alasdair Urquhart

    Published 2012-06-01
    Subjects:
    Get full text
    Article
  6. 326
    Pseudo-finite hard instances for a student-teacher game with a Nisan-Wigderson generator

    Pseudo-finite hard instances for a student-teacher game with a Nisan-Wigderson generator by Jan Krajíček

    Published 2012-08-01
    Subjects:
    Get full text
    Article
  7. 327
    Zeta Functions and the (Linear) Logic of Markov Processes

    Zeta Functions and the (Linear) Logic of Markov Processes by Thomas Seiller

    Published 2024-08-01
    Subjects:
    Get full text
    Article
  8. 328
    Problems of the logistic preparation of future lawyers

    Problems of the logistic preparation of future lawyers by Gerashchenko Alena Igorevna, Gerashchenko Igor Germanovich

    Published 2018-07-01
    Subjects:
    Get full text
    Article
  9. 329
    DISCRITE MATHEMATICS TRAINING OF PEDAGOGICAL BACHELOR AND MAGISTRACY STUDENTS – THE FUTURE TEACHERS OF MATHEMATICS AND COMPUTER SCIENCE

    DISCRITE MATHEMATICS TRAINING OF PEDAGOGICAL BACHELOR AND MAGISTRACY STUDENTS – THE FUTURE TEACHERS OF MATHEMATICS AND COMPUTER SCIENCE by V. I. Igoshin

    Published 2015-03-01
    Subjects: “…mathematical logic…”
    Get full text
    Article
  10. 330
    Reasoning with !-graphs

    Reasoning with !-graphs by Merry, A

    Published 2013
    Subjects:
    Thesis
  11. 331
    Polishness of some topologies related to word or tree automata

    Polishness of some topologies related to word or tree automata by Olivier Finkel, Olivier Carton, Dominique Lecomte

    Published 2019-05-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  12. 332
    Monadic Second Order Logic with Measure and Category Quantifiers

    Monadic Second Order Logic with Measure and Category Quantifiers by Matteo Mio, Michał Skrzypczak, Henryk Michalewski

    Published 2018-04-01
    Subjects:
    Get full text
    Article
  13. 333
    Coherent and finiteness spaces

    Coherent and finiteness spaces by Pierre Hyvernat

    Published 2011-09-01
    Subjects:
    Get full text
    Article
  14. 334
    The Rice-Shapiro theorem in Computable Topology

    The Rice-Shapiro theorem in Computable Topology by Margarita Korovina, Oleg Kudinov

    Published 2017-12-01
    Subjects:
    Get full text
    Article
  15. 335
    A program for the full axiom of choice

    A program for the full axiom of choice by Jean-Louis Krivine

    Published 2021-09-01
    Subjects:
    Get full text
    Article
  16. 336
    Initial Semantics for Reduction Rules

    Initial Semantics for Reduction Rules by Benedikt Ahrens

    Published 2019-03-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  17. 337
    Logical properties of random graphs from small addable classes

    Logical properties of random graphs from small addable classes by Anuj Dawar, Eryk Kopczyński

    Published 2019-07-01
    Subjects:
    Get full text
    Article
  18. 338
    Presburger Arithmetic with algebraic scalar multiplications

    Presburger Arithmetic with algebraic scalar multiplications by Philipp Hieronymi, Danny Nguyen, Igor Pak

    Published 2021-07-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  19. 339
    The Sierpinski Object in the Scott Realizability Topos

    The Sierpinski Object in the Scott Realizability Topos by Tom de Jong, Jaap van Oosten

    Published 2020-08-01
    Subjects:
    Get full text
    Article
  20. 340
    $\sigma$-locales in Formal Topology

    $\sigma$-locales in Formal Topology by Francesco Ciraulo

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

Search Tools: