default search action

combined dblp search
author search
venue search
publication search

ask others

25th LPAR 2024: Port Louis, Mauritius - Complementary Volume

> Home > Conferences and Workshops > LPAR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ easychair.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/lpar/2024c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/2024c
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
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/0003S24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/0003S24
Mohit Garg, Suneel Sarswat:
Efficient and Verified Continuous Double Auctions. 1-13
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/HaraBB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HaraBB24
Hichem Rami Ait El Hara, François Bobot, Guillaume Bury:
On SMT Theory Design: The Case of Sequences. 14-29
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/Dershowitz24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Dershowitz24
Nachum Dershowitz:
Alternate Semantics of the Guarded Conditional. 30-52
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/DramnescJS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/DramnescJS24
Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat:
Certification of Tail Recursive Bubble-Sort in Theorema and Coq. 53-68
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/Fish024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Fish024
Andrew Fish, Alexei Lisitsa:
Automated Reasoning with Tangles: towards Quantum Verification Applications. 69-80
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/Gheorghiu24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Gheorghiu24
Alexander V. Gheorghiu:
A System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic. 81-91
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/HermantL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HermantL24
Olivier Hermant, Wojciech Loboda:
Numeric Base Conversion with Rewriting. 92-106
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/Jebelean24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Jebelean24
Tudor Jebelean:
A Natural-style Prover in Theorema Using Sequent Calculus with Unit Propagation. 107-116
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/LeitschLM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/LeitschLM24
Alexander Leitsch, Anela Lolic, Stella Mahler:
On Proof Schemata and Primitive Recursive Arithmetic. 117-130
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/000124
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/000124
Alexei Lisitsa:
Towards computer-assisted proofs of parametric Andrews-Curtis simplifications, II. 131-136
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/MesnardMP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/MesnardMP24
Fred Mesnard, Thierry Marianne, Étienne Payet:
Automated Theorem Proving for Prolog Verification. 137-151
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/Veanes24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Veanes24
Margus Veanes:
On Symbolic Derivatives and Transition Regexes. 152-162
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/ZalewskiH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/ZalewskiH24
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.