LPAR 2024C: Author Index

AuthorPapers
A
Ait El Hara, Hichem RamiOn SMT Theory Design: The Case of Sequences
B
Bobot, FrançoisOn SMT Theory Design: The Case of Sequences
Bury, GuillaumeOn SMT Theory Design: The Case of Sequences
D
Dershowitz, NachumAlternate Semantics of the Guarded Conditional
Dramnesc, IsabelaCertification of Tail Recursive Bubble--Sort in Theorema and Coq
F
Fish, AndrewAutomated Reasoning with Tangles: towards Quantum Verification Applications
G
Garg, MohitEfficient and Verified Continuous Double Auctions
Gheorghiu, Alexander VictorA System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic
H
Hermant, OlivierNumeric Base Conversion with Rewriting
Hitzler, PascalA Case for Extensional Non-Wellfounded Metamodeling
J
Jebelean, TudorCertification of Tail Recursive Bubble--Sort in Theorema and Coq
A Natural-style Prover in Theorema Using Sequent Calculus with Unit Propagation
L
Leitsch, AlexanderOn Proof Schemata and Primitive Recursive Arithmetic
Lisitsa, AlexeiAutomated Reasoning with Tangles: towards Quantum Verification Applications
Towards computer-assisted proofs of parametric Andrews-Curtis simplifications, II
Loboda, WojciechNumeric Base Conversion with Rewriting
Lolic, AnelaOn Proof Schemata and Primitive Recursive Arithmetic
M
Mahler, StellaOn Proof Schemata and Primitive Recursive Arithmetic
Marianne, ThierryAutomated Theorem Proving for Prolog Verification
Mesnard, FredAutomated Theorem Proving for Prolog Verification
P
Payet, EtienneAutomated Theorem Proving for Prolog Verification
S
Sarswat, SuneelEfficient and Verified Continuous Double Auctions
Stratulat, SorinCertification of Tail Recursive Bubble--Sort in Theorema and Coq
V
Veanes, MargusOn Symbolic Derivatives and Transition Regexes
Z
Zalewski, JosephA Case for Extensional Non-Wellfounded Metamodeling