Showing 221 - 240 results of 614 for search '"Mathematical logic"', query time: 0.28s Refine Results
  1. 221
    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
  2. 222
    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
  3. 223
    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
  4. 224
    Compact manifolds with computable boundaries

    Compact manifolds with computable boundaries by Zvonko Iljazovic

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

    Computability of 1-manifolds by Konrad Burnik, Zvonko Iljazovic

    Published 2014-06-01
    Subjects:
    Get full text
    Article
  6. 226
    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
  7. 227
    Total Representations

    Total Representations by Victor Selivanov

    Published 2013-06-01
    Subjects:
    Get full text
    Article
  8. 228
    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
  9. 229
    Small Stone in Pool

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

    Published 2014-06-01
    Subjects:
    Get full text
    Article
  10. 230
    A Cubical Language for Bishop Sets

    A Cubical Language for Bishop Sets by Jonathan Sterling, Carlo Angiuli, Daniel Gratzer

    Published 2022-03-01
    Subjects:
    Get full text
    Article
  11. 231
    A duality theoretic view on limits of finite structures: Extended version

    A duality theoretic view on limits of finite structures: Extended version by Mai Gehrke, Tomáš Jakl, Luca Reggio

    Published 2022-01-01
    Subjects:
    Get full text
    Article
  12. 232
    Representations of measurable sets in computable measure theory

    Representations of measurable sets in computable measure theory by Klaus Weihrauch, Nazanin Tavana-Roshandel

    Published 2014-08-01
    Subjects:
    Get full text
    Article
  13. 233
    Knowledge Spaces and the Completeness of Learning Strategies

    Knowledge Spaces and the Completeness of Learning Strategies by Stefano Berardi, Ugo de'Liguoro

    Published 2014-02-01
    Subjects:
    Get full text
    Article
  14. 234
    Classical propositional logic and decidability of variables in intuitionistic propositional logic

    Classical propositional logic and decidability of variables in intuitionistic propositional logic by Hajime Ishihara

    Published 2014-08-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  15. 235
    Convexity via Weak Distributive Laws

    Convexity via Weak Distributive Laws by Filippo Bonchi, Alessio Santamaria

    Published 2022-11-01
    Subjects:
    Get full text
    Article
  16. 236
    Borel-piecewise continuous reducibility for uniformization problems

    Borel-piecewise continuous reducibility for uniformization problems by Takayuki Kihara

    Published 2017-04-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  17. 237
    Expansions of MSO by cardinality relations

    Expansions of MSO by cardinality relations by Alexis Bès

    Published 2013-12-01
    Subjects:
    Get full text
    Article
  18. 238
    About the range property for H

    About the range property for H by René David, Karim Nour

    Published 2014-01-01
    Subjects: “…mathematics - logic…”
    Get full text
    Article
  19. 239
    A Proof of Kamp's theorem

    A Proof of Kamp's theorem by Alexander Rabinovich

    Published 2014-02-01
    Subjects:
    Get full text
    Article
  20. 240
    Modal meet-implication logic

    Modal meet-implication logic by Jim de Groot, Dirk Pattinson

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

Search Tools: