LPAR Complementary Volume

Keyphrases

Publications

2024

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

volume 18, 2024

LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024 LPAR Complementary Volume 18 (2024)