Showing 301 - 320 results of 506 for search '"Mathematical logic"', query time: 0.10s Refine Results
  1. 301
    EXPTIME Tableaux for the Coalgebraic mu-Calculus

    EXPTIME Tableaux for the Coalgebraic mu-Calculus by Corina Cirstea, Clemens Kupke, Dirk Pattinson

    Published 2011-08-01
    Subjects:
    Get full text
    Article
  2. 302
    Noncomputable functions in the Blum-Shub-Smale model

    Noncomputable functions in the Blum-Shub-Smale model by Wesley Calvert, Ken Kramer, Russell Miller

    Published 2011-05-01
    Subjects:
    Get full text
    Article
  3. 303
    Real Analytic Machines and Degrees

    Real Analytic Machines and Degrees by Tobias Gärtner, Martin Ziegler

    Published 2011-09-01
    Subjects:
    Get full text
    Article
  4. 304
    Collapsible Pushdown Graphs of Level 2 are Tree-Automatic

    Collapsible Pushdown Graphs of Level 2 are Tree-Automatic by Alexander Kartzow

    Published 2013-03-01
    Subjects:
    Get full text
    Article
  5. 305
    Completeness for the coalgebraic cover modality

    Completeness for the coalgebraic cover modality by Clemens Kupke, Alexander Kurz, Yde Venema

    Published 2012-07-01
    Subjects:
    Get full text
    Article
  6. 306
    Asymptotically almost all \lambda-terms are strongly normalizing

    Asymptotically almost all \lambda-terms are strongly normalizing by René David, Katarzyna Grygiel, Jakub Kozik, Christophe Raffalli, Guillaume Theyssier, Marek Zaionc

    Published 2013-02-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  7. 307
    Every metric space is separable in function realizability

    Every metric space is separable in function realizability by Andrej Bauer, Andrew Swan

    Published 2019-05-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  8. 308
    Gluing resource proof-structures: inhabitation and inverting the Taylor expansion

    Gluing resource proof-structures: inhabitation and inverting the Taylor expansion by Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco

    Published 2022-04-01
    Subjects:
    Get full text
    Article
  9. 309
    Pebble Games, Proof Complexity, and Time-Space Trade-offs

    Pebble Games, Proof Complexity, and Time-Space Trade-offs by Jakob Nordstrom

    Published 2013-09-01
    Subjects:
    Get full text
    Article
  10. 310
    DRAT and Propagation Redundancy Proofs Without New Variables

    DRAT and Propagation Redundancy Proofs Without New Variables by Sam Buss, Neil Thapen

    Published 2021-04-01
    Subjects:
    Get full text
    Article
  11. 311
    Closed Sets and Operators thereon: Representations, Computability and Complexity

    Closed Sets and Operators thereon: Representations, Computability and Complexity by Carsten Rösnick-Neugebauer

    Published 2018-04-01
    Subjects:
    Get full text
    Article
  12. 312
    Hanf numbers via accessible images

    Hanf numbers via accessible images by Michael Lieberman, Jiri Rosicky

    Published 2017-06-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  13. 313
    Formalizing Randomized Matching Algorithms

    Formalizing Randomized Matching Algorithms by Dai Tri Man Le, Stephen A. Cook

    Published 2012-08-01
    Subjects:
    Get full text
    Article
  14. 314
    A feasible interpolation for random resolution

    A feasible interpolation for random resolution by Jan Krajicek

    Published 2017-02-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  15. 315
    Displayed Categories

    Displayed Categories by Benedikt Ahrens, Peter LeFanu Lumsdaine

    Published 2019-03-01
    Subjects:
    Get full text
    Article
  16. 316
    An extensible equality checking algorithm for dependent type theories

    An extensible equality checking algorithm for dependent type theories by Andrej Bauer, Anja Petković Komel

    Published 2022-01-01
    Subjects:
    Get full text
    Article
  17. 317
    Fusible numbers and Peano Arithmetic

    Fusible numbers and Peano Arithmetic by Jeff Erickson, Gabriel Nivasch, Junyan Xu

    Published 2022-07-01
    Subjects:
    Get full text
    Article
  18. 318
    Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications

    Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications by Rémy Cerda, Lionel Vaux Auclair

    Published 2023-12-01
    Subjects:
    Get full text
    Article
  19. 319
    Essential Convexity and Complexity of Semi-Algebraic Constraints

    Essential Convexity and Complexity of Semi-Algebraic Constraints by Manuel Bodirsky, Peter Jonsson, Timo von Oertzen

    Published 2012-10-01
    Subjects:
    Get full text
    Article
  20. 320
    A topological interpretation of three Leibnizian principles within the functional extensions

    A topological interpretation of three Leibnizian principles within the functional extensions by Marco Forti

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

Search Tools: