LPAR 2024 Complementary Volume13 articles•178 pages•Published: May 26, 2024 PapersPages 113  Pages 1429  Pages 3052  Pages 5368  Pages 6980  Pages 8191  Pages 92106  Pages 107116  Pages 117130  Pages 131136  Pages 137151  Pages 152162  Pages 163178 
Keyphrasesadmissibility, AndrewsCurtis conjecture, arrays, automated reasoning^{2}, 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, logic^{2}, logic programming, lookahead, Metamodeling, Naturalstyle Proving, nondeterminism, numeric bases, Ontologies, operational semantics, partial correctness, primitive recursive arithmetic, Prolog, Proof Schema, proof theory, prooftheoretic semantics, propositional logic, quantum verification, Satisfiability Modulo Theories, sequences, sequent calculus, set theory, SMT, sorting, symbolic automaton, tangles, temporal logic, term rewriting, termination, Theorema^{2}, Unit Propagation, verification 
