LPAR 2024C: Volume Information

LPAR 2024 Complementary Volume

13 articles178 pagesPublished: May 26, 2024

Papers

Mohit Garg and Suneel Sarswat
1-13
Hichem Rami Ait El Hara, François Bobot and Guillaume Bury
14-29
Nachum Dershowitz
30-52
Isabela Dramnesc, Tudor Jebelean and Sorin Stratulat
53-68
Andrew Fish and Alexei Lisitsa
69-80
Alexander Victor Gheorghiu
81-91
Olivier Hermant and Wojciech Loboda
92-106
Tudor Jebelean
107-116
Alexander Leitsch, Anela Lolic and Stella Mahler
117-130
Alexei Lisitsa
131-136
Fred Mesnard, Thierry Marianne and Etienne Payet
137-151
Margus Veanes
152-162
Joseph Zalewski and Pascal Hitzler
163-178

Keyphrases

admissibility, 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.