Хайлтын үр дүнгүүд - 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
-
81
-
82
-
83
-
84
-
85
-
86
-
87
-
88
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Агуулга: “…Constructing a universe for the setoid model -- Nominal Equational Problems -- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy -- Fixpoint Theory - Upside Down -- "Most of"' leads to undecidability: Failure of adding frequencies to LTL -- Combining Semilattices and Semimodules -- One-way Resynchronizability of Word Transducers -- Fair Refinement for Asynchronous Session Types -- Running Time Analysis of Broadcast Consensus Protocols -- Leafy automata for higher-order concurrency -- Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic -- Generalized Bounded Linear Logic and its Categorical Semantics -- Focused Proof-search in the Logic of Bunched Implications -- Interpolation and Amalgamation for Arrays with MaxDi -- Adjoint Reactive GUI Programming -- On the Expressiveness of Büchi Arithmetic -- Parametricity for Primitive Nested Types -- The Spirit of Node Replication -- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages -- CertifyingInexpressibility -- A General Semantic Construction of Dependent Re nement Type Systems, Categorically -- Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP -- Nondeterministic Syntactic Complexity -- A String Diagrammatic Axiomatisation of Finite-State Automata -- Work-sensitive Dynamic Complexity of Formal Languages -- Learning Pomset Automata -- The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford -- A Quantified Coalgebraic van Benthem Theorem.…”
Link to Metadata
Цахим Цахим ном -
89
-
90
-
91
-
92
-
93
-
94
-
95
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /
Хэвлэсэн 2021Агуулга: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
Link to Metadata
Цахим Цахим ном -
96
Modern Cryptography Volume 2 A Classical Introduction to Informational and Mathematical Principle /
Хэвлэсэн 2023Link to Metadata
Цахим Цахим ном -
97
-
98
-
99
-
100