LPAR 2024C: Volume InformationLPAR 2024 Complementary Volume13 articles•178 pages•Published: May 26, 2024 PapersKeyphrasesadmissibility, 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-theoretic semantics, proof theory, 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. |
|