LPAR 2024 Complementary Volume13 articles•178 pages•Published: May 26, 2024 PapersPages 1-13 | Pages 14-29 | Pages 30-52 | Pages 53-68 | Pages 69-80 | Pages 81-91 | Pages 92-106 | Pages 107-116 | Pages 117-130 | Pages 131-136 | Pages 137-151 | Pages 152-162 | Pages 163-178 |
Keyphrasesadmissibility, Andrews-Curtis conjecture, arrays, automated reasoning2, automated theorem proving, base conversion, Bubble Sort, certification, combinatorial group theory, Coq, Description Logics, Fusion, guarded commands, Inductive proofs, Inferentialism, intuitionistic logic, involutory quandles, knowledge representation, logic2, logic programming, lookahead, Metamodeling, Natural-style Proving, nondeterminism, numeric bases, Ontologies, operational semantics, partial correctness, primitive recursive arithmetic, Prolog, Proof Schema, proof theory, proof-theoretic semantics, propositional logic, quantum verification, Satisfiability Modulo Theories, sequences, sequent calculus, set theory, SMT, sorting, symbolic automaton, tangles, temporal logic, term rewriting, termination, Theorema2, Unit Propagation, verification |
|