default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th LPAR 2024: Port Louis, Mauritius - Complementary Volume
- Nikolaj S. Bjørner, Marijn Heule, Andrei Voronkov:
LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024. Kalpa Publications in Computing 18, EasyChair 2024 - Mohit Garg, Suneel Sarswat:
Efficient and Verified Continuous Double Auctions. 1-13 - Hichem Rami Ait El Hara
, François Bobot, Guillaume Bury:
On SMT Theory Design: The Case of Sequences. 14-29 - Nachum Dershowitz:
Alternate Semantics of the Guarded Conditional. 30-52 - Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat:
Certification of Tail Recursive Bubble-Sort in Theorema and Coq. 53-68 - Andrew Fish, Alexei Lisitsa:
Automated Reasoning with Tangles: towards Quantum Verification Applications. 69-80 - Alexander V. Gheorghiu:
A System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic. 81-91 - Olivier Hermant, Wojciech Loboda:
Numeric Base Conversion with Rewriting. 92-106 - Tudor Jebelean:
A Natural-style Prover in Theorema Using Sequent Calculus with Unit Propagation. 107-116 - Alexander Leitsch, Anela Lolic, Stella Mahler:
On Proof Schemata and Primitive Recursive Arithmetic. 117-130 - Alexei Lisitsa:
Towards computer-assisted proofs of parametric Andrews-Curtis simplifications, II. 131-136 - Fred Mesnard, Thierry Marianne, Étienne Payet:
Automated Theorem Proving for Prolog Verification. 137-151 - Margus Veanes:
On Symbolic Derivatives and Transition Regexes. 152-162 - Joseph Zalewski, Pascal Hitzler:
A Case for Extensional Non-Wellfounded Metamodeling. 163-178
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-11 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
