Search Results - Urzyczyn, PaweŁ

Refine Results
  1. 1
    Kripke Semantics for Intersection Formulas

    Kripke Semantics for Intersection Formulas by Dudenhefner, Andrej, Urzyczyn, Paweł

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    First-order Answer Set Programming as Constructive Proof Search

    First-order Answer Set Programming as Constructive Proof Search by SCHUBERT, ALEKSY, URZYCZYN, PAWEŁ

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Answer set programming in intuitionistic logic

    Answer set programming in intuitionistic logic by Schubert, Aleksy, Urzyczyn, Paweł

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Intuitionistic Games: Determinacy, Completeness, and Normalization

    Intuitionistic Games: Determinacy, Completeness, and Normalization by Urzyczyn, Paweł

    Published in Studia logica
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    On the Mints Hierarchy in First-Order Intuitionistic Logic

    On the Mints Hierarchy in First-Order Intuitionistic Logic by Schubert, Aleksy, Urzyczyn, Paweł, Zdanowski, Konrad

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    The existential fragment of second-order propositional intuitionistic logic is undecidable

    The existential fragment of second-order propositional intuitionistic logic is undecidable by Fujita, Ken-etsu, Schubert, Aleksy, Urzyczyn, Paweł, Zdanowski, Konrad

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  7. 7
    How Hard Is Positive Quantification?

    How Hard Is Positive Quantification? by Schubert, Aleksy, Urzyczyn, Paweł, Walukiewicz-Chrząszcz, Daria

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  8. 8
    Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis

    Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis by Düdder, Boris, Garbe, Oliver, Martens, Moritz, Rehof, Jakob, Urzyczyn, Paweł

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  9. 9
    Strong Cut-Elimination in Sequent Calculus Using Klop's l-Translation and Perpetual Reductions

    Strong Cut-Elimination in Sequent Calculus Using Klop's l-Translation and Perpetual Reductions by Sørensen, Morten Heine, Urzyczyn, Paweł

    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    The Subtyping Problem for Second-Order Types Is Undecidable

    The Subtyping Problem for Second-Order Types Is Undecidable by Tiuryn, Jerzy, Urzyczyn, Paweł

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    The emptiness problem for intersection types

    The emptiness problem for intersection types by Urzyczyn, Paweł

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    A simple proof of the undecidability of strong normalisation

    A simple proof of the undecidability of strong normalisation by URZYCZYN, PAWEŁ

    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Between proof construction and SAT-solving

    Between proof construction and SAT-solving by Schubert, Aleksy, Urzyczyn, Paweł, Zdanowski, Konrad

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Strong cut-elimination in sequent calculus using Klop's ι-translation and perpetual reductions

    Strong cut-elimination in sequent calculus using Klop's ι-translation and perpetual reductions by Sørensen, Morten Heine, Urzyczyn, PaweŁ

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  15. 15
    First-order answer set programming as constructive proof search

    First-order answer set programming as constructive proof search by Schubert, Aleksy, Urzyczyn, Paweł

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    On the Mints Hierarchy in First-Order Intuitionistic Logic

    On the Mints Hierarchy in First-Order Intuitionistic Logic by Schubert, Aleksy, Urzyczyn, Paweł, Zdanowski, Konrad

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Type reconstruction in Fω

    Type reconstruction in Fω by URZYCZYN, PAWEŁ

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  18. 18
    Discrimination by Parallel Observers: The Algorithm

    Discrimination by Parallel Observers: The Algorithm by Dezani-Ciancaglini, Mariangiola, Tiuryn, Jerzy, Urzyczyn, Paweł

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  19. 19
    Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis

    Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis by Düdder, Boris, Garbe, Oliver, Martens, Moritz, Rehof, Jakob, Urzyczyn, Paweł

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Nontrivial definability by flow-chart programs

    Nontrivial definability by flow-chart programs by Urzyczyn, Paweł

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: