LPAR 2024C:Author IndexAuthor  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 BubbleSort 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 NonWellfounded Metamodeling  J  Jebelean, Tudor  Certification of Tail Recursive BubbleSort in Theorema and Coq A Naturalstyle 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 computerassisted proofs of parametric AndrewsCurtis 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 BubbleSort in Theorema and Coq  V  Veanes, Margus  On Symbolic Derivatives and Transition Regexes  Z  Zalewski, Joseph  A Case for Extensional NonWellfounded Metamodeling 

