LPAR 2024C:Author Index

Author	Papers
A
Ait El Hara, Hichem Rami	On SMT Theory Design: The Case of Sequences
B
Bobot, François	On SMT Theory Design: The Case of Sequences
Bury, Guillaume	On SMT Theory Design: The Case of Sequences
D
Dershowitz, Nachum	Alternate Semantics of the Guarded Conditional
Dramnesc, Isabela	Certification of Tail Recursive Bubble--Sort in Theorema and Coq
F
Fish, Andrew	Automated Reasoning with Tangles: towards Quantum Verification Applications
G
Garg, Mohit	Efficient and Verified Continuous Double Auctions
Gheorghiu, Alexander Victor	A System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic
H
Hermant, Olivier	Numeric Base Conversion with Rewriting
Hitzler, Pascal	A Case for Extensional Non-Wellfounded Metamodeling
J
Jebelean, Tudor	Certification of Tail Recursive Bubble--Sort in Theorema and Coq A Natural-style Prover in Theorema Using Sequent Calculus with Unit Propagation
L
Leitsch, Alexander	On Proof Schemata and Primitive Recursive Arithmetic
Lisitsa, Alexei	Automated Reasoning with Tangles: towards Quantum Verification Applications Towards computer-assisted proofs of parametric Andrews-Curtis simplifications, II
Loboda, Wojciech	Numeric Base Conversion with Rewriting
Lolic, Anela	On Proof Schemata and Primitive Recursive Arithmetic
M
Mahler, Stella	On Proof Schemata and Primitive Recursive Arithmetic
Marianne, Thierry	Automated Theorem Proving for Prolog Verification
Mesnard, Fred	Automated Theorem Proving for Prolog Verification
P
Payet, Etienne	Automated Theorem Proving for Prolog Verification
S
Sarswat, Suneel	Efficient and Verified Continuous Double Auctions
Stratulat, Sorin	Certification of Tail Recursive Bubble--Sort in Theorema and Coq
V
Veanes, Margus	On Symbolic Derivatives and Transition Regexes
Z
Zalewski, Joseph	A Case for Extensional Non-Wellfounded Metamodeling