Login / Signup
LPAR Complementary Volume
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)