Хайлтын үр дүнгүүд - proof complexity

  1. 61

    Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Хэвлэсэн 2022
    Нөхцлүүд: “…type theory and proof theory…”
    DOAB: download the publication
    DOAB: description of the publication
    Цахим Номын бүлэг
  2. 62

    Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Хэвлэсэн 2022
    Нөхцлүүд: “…type theory and proof theory…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Цахим Номын бүлэг
  3. 63

    Evidence in Civil Law - Czech Republic Valdhans, Jiří

    Хэвлэсэн 2017
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Цахим Номын бүлэг
  4. 64
  5. 65

    Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Хэвлэсэн 2021
    Нөхцлүүд: “…type theory and proof theory…”
    DOAB: download the publication
    DOAB: description of the publication
    Цахим Номын бүлэг
  6. 66

    Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Хэвлэсэн 2021
    Нөхцлүүд: “…type theory and proof theory…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Цахим Номын бүлэг
  7. 67

    Environmental Tracers Trevor Elliot (Ed.)

    Хэвлэсэн 2014
    DOAB: download the publication
    DOAB: description of the publication
    Цахим Номын бүлэг
  8. 68

    Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Хэвлэсэн 2020
    Нөхцлүүд: “…type theory and proof theory…”
    DOAB: download the publication
    DOAB: description of the publication
    Цахим Номын бүлэг
  9. 69

    Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Хэвлэсэн 2020
    Нөхцлүүд: “…type theory and proof theory…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Цахим Номын бүлэг
  10. 70

    Twisted Isospectrality, Homological Wideness, and Isometry A Sample of Algebraic Methods in Isospectrality / Cornelissen, Gunther, Peyerimhoff, Norbert

    Хэвлэсэн 2023
    Link to Metadata
    Цахим Цахим ном
  11. 71

    Hydrogen Bonds

    Хэвлэсэн 2023
    DOAB: download the publication
    DOAB: description of the publication
    Цахим Номын бүлэг
  12. 72

    Hydrogen Bonds

    Хэвлэсэн 2023
    DOAB: download the publication
    DOAB: description of the publication
    Цахим Номын бүлэг
  13. 73

    Advancements in Real-Time Simulation of Power and Energy Systems

    Хэвлэсэн 2021
    DOAB: download the publication
    DOAB: description of the publication
    Цахим Номын бүлэг
  14. 74

    Computational Intelligence and Soft Computing: Recent Applications

    Хэвлэсэн 2023
    DOAB: download the publication
    DOAB: description of the publication
    Цахим Номын бүлэг
  15. 75

    Spiral Workbook for Discrete Mathematics Kwong, Harris

    Хэвлэсэн 2015
    Access online version
    Цахим Цахим ном
  16. 76

    Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /

    Хэвлэсэн 2023
    Агуулга: “…Range-Restricted and Horn Interpolation through Clausal Tableaux -- Non-Classical Logics in Satisfiability Modulo Theories -- DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics -- Non-distributive description logic -- A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalized -- Some Analytic Systems of Rules -- A cut-free, sound and complete Russellian theory of definite descriptions -- Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators -- Lemmas: Generation, Selection, Application -- Machine-Learned Premise Selection for Lean -- gym-saturation: Gymnasium environments for saturation provers (System description) -- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed points -- Ill-founded Proof Systems For Intuitionistic Linear-time Temporal Logic -- Proof Systems for the Modal $\mu$-Calculus Obtained by Determinizing Automata -- Extensions of K5: Proof Theory and Uniform Lyndon Interpolation -- On intuitionistic diamonds (and lack thereof) -- NP Complexity for Combinations of Non-Normal Modal Logics -- Resolution-based Calculi for Non-Normal Modal Logics -- Canonicity of Proofs in Constructive Modal Logic -- Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic -- The MaxSAT problem in the real-valued MV-algebra -- The Logic of Separation Logic: Models and Proofs -- Testing the Satisfiability of Formulas in Separation Logic with Permissions -- Nested Sequents for Quantified Modal Logics -- A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.…”
    Link to Metadata
    Цахим Цахим ном
  17. 77

    Bridging the gap in patent assessment: The Index of Internal Effort framework for pharma innovations Alisson A. de Oliveira, Celso B. dos Santos, Luiz A. Pilatti

    Хэвлэсэн 2024
    Connect to this object online.
    Ном
  18. 78

    Bridging the Translational Divide in Pain Research: Biological, Psychological and Social Considerations Chulmin Cho, Harashdeep K. Deol, Loren J. Martin

    Хэвлэсэн 2021
    Connect to this object online.
    Ном
  19. 79

    Defense Resource Planning Under Uncertainty An Application of Robust Decision Making to Munitions Mix Planning Lempert, Robert J.

    Хэвлэсэн 2016
    DOAB: download the publication
    DOAB: description of the publication
    Цахим Номын бүлэг
  20. 80