Хайлтын үр дүнгүүд - proof complexity
Таны хайлт доторх Санал болгосон сэдвүүд.
Таны хайлт доторх Санал болгосон сэдвүүд.
- Computer science 12
- Artificial intelligence 11
- Mathematics 10
- Algorithms & data structures 4
- Computer programming / software development 4
- Formal Languages and Automata Theory 4
- Machine learning 4
- Machine theory 4
- Mathematical foundations 4
- Software Engineering 4
- Software engineering 4
- Algebra 3
- Applied mathematics 3
- Artificial Intelligence 3
- Computer Science Logic and Foundations of Programming 3
- Discrete mathematics 3
- Probability & statistics 3
- Society & social sciences 3
- Calculus & mathematical analysis 2
- Computer Engineering and Networks 2
- Computer Modelling 2
- Computer engineering 2
- Computer networking & communications 2
- Computer networks 2
- Computer programming 2
- Computer simulation 2
- Control Structures and Microprogramming 2
- Databases 2
- Logic in AI 2
- Logic programming 2
-
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
Цахим Номын бүлэг -
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
Цахим Номын бүлэг -
63
Evidence in Civil Law - Czech Republic
Хэвлэсэн 2017OAPEN Library: download the publication
OAPEN Library: description of the publication
Цахим Номын бүлэг -
64
-
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
Цахим Номын бүлэг -
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
Цахим Номын бүлэг -
67
Environmental Tracers
Хэвлэсэн 2014DOAB: download the publication
DOAB: description of the publication
Цахим Номын бүлэг -
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
Цахим Номын бүлэг -
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
Цахим Номын бүлэг -
70
Twisted Isospectrality, Homological Wideness, and Isometry A Sample of Algebraic Methods in Isospectrality /
Хэвлэсэн 2023Link to Metadata
Цахим Цахим ном -
71
Hydrogen Bonds
Хэвлэсэн 2023DOAB: download the publication
DOAB: description of the publication
Цахим Номын бүлэг -
72
Hydrogen Bonds
Хэвлэсэн 2023DOAB: download the publication
DOAB: description of the publication
Цахим Номын бүлэг -
73
Advancements in Real-Time Simulation of Power and Energy Systems
Хэвлэсэн 2021DOAB: download the publication
DOAB: description of the publication
Цахим Номын бүлэг -
74
Computational Intelligence and Soft Computing: Recent Applications
Хэвлэсэн 2023DOAB: download the publication
DOAB: description of the publication
Цахим Номын бүлэг -
75
-
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
Цахим Цахим ном -
77
-
78
-
79
-
80