Volume
@proceedings{LPAR2024C,
title = {LPAR 2024 Complementary Volume},
editor = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
year = {2024}}
Papers
@inproceedings{LPAR2024C:Efficient_Verified_Continuous_Double,
author = {Mohit Garg and Suneel Sarswat},
title = {Efficient and Verified Continuous Double Auctions},
booktitle = {LPAR 2024 Complementary Volume},
editor = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/CP7T},
doi = {10.29007/92jt},
pages = {1-13},
year = {2024}}
@inproceedings{LPAR2024C:SMT_Theory_Design_Case,
author = {Hichem Rami Ait El Hara and François Bobot and Guillaume Bury},
title = {On SMT Theory Design: The Case of Sequences},
booktitle = {LPAR 2024 Complementary Volume},
editor = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/qdvJ},
doi = {10.29007/75tl},
pages = {14-29},
year = {2024}}
@inproceedings{LPAR2024C:Alternate_Semantics_Guarded_Conditional,
author = {Nachum Dershowitz},
title = {Alternate Semantics of the Guarded Conditional},
booktitle = {LPAR 2024 Complementary Volume},
editor = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/1HKl},
doi = {10.29007/2kx9},
pages = {30-52},
year = {2024}}
@inproceedings{LPAR2024C:Certification_Tail_Recursive_Bubble,
author = {Isabela Dramnesc and Tudor Jebelean and Sorin Stratulat},
title = {Certification of Tail Recursive Bubble--Sort in Theorema and Coq},
booktitle = {LPAR 2024 Complementary Volume},
editor = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/tbwq},
doi = {10.29007/spjs},
pages = {53-68},
year = {2024}}
@inproceedings{LPAR2024C:Automated_Reasoning_with_Tangles,
author = {Andrew Fish and Alexei Lisitsa},
title = {Automated Reasoning with Tangles: towards Quantum Verification Applications},
booktitle = {LPAR 2024 Complementary Volume},
editor = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/S8Gt},
doi = {10.29007/d1rc},
pages = {69-80},
year = {2024}}
@inproceedings{LPAR2024C:System_Evaluating_Admissibility_Rules,
author = {Alexander Victor Gheorghiu},
title = {A System for Evaluating the Admissibility of Rules for Intuitionistic Propositional Logic},
booktitle = {LPAR 2024 Complementary Volume},
editor = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/kQX1},
doi = {10.29007/1821},
pages = {81-91},
year = {2024}}
@inproceedings{LPAR2024C:Numeric_Base_Conversion_with,
author = {Olivier Hermant and Wojciech Loboda},
title = {Numeric Base Conversion with Rewriting},
booktitle = {LPAR 2024 Complementary Volume},
editor = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/qk3c},
doi = {10.29007/21t9},
pages = {92-106},
year = {2024}}
@inproceedings{LPAR2024C:Natural_style_Prover_Theorema,
author = {Tudor Jebelean},
title = {A Natural-style Prover in Theorema Using Sequent Calculus with Unit Propagation},
booktitle = {LPAR 2024 Complementary Volume},
editor = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/n11t},
doi = {10.29007/q2vx},
pages = {107-116},
year = {2024}}
@inproceedings{LPAR2024C:Proof_Schemata_Primitive_Recursive,
author = {Alexander Leitsch and Anela Lolic and Stella Mahler},
title = {On Proof Schemata and Primitive Recursive Arithmetic},
booktitle = {LPAR 2024 Complementary Volume},
editor = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/W8XS},
doi = {10.29007/4g2q},
pages = {117-130},
year = {2024}}
@inproceedings{LPAR2024C:Towards_computer_assisted_proofs,
author = {Alexei Lisitsa},
title = {Towards computer-assisted proofs of parametric Andrews-Curtis simplifications, II},
booktitle = {LPAR 2024 Complementary Volume},
editor = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/tkQS},
doi = {10.29007/p2w1},
pages = {131-136},
year = {2024}}
@inproceedings{LPAR2024C:Automated_Theorem_Proving_Prolog,
author = {Fred Mesnard and Thierry Marianne and Etienne Payet},
title = {Automated Theorem Proving for Prolog Verification},
booktitle = {LPAR 2024 Complementary Volume},
editor = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/n9Jl},
doi = {10.29007/c25r},
pages = {137-151},
year = {2024}}
@inproceedings{LPAR2024C:Symbolic_Derivatives_Transition_Regexes,
author = {Margus Veanes},
title = {On Symbolic Derivatives and Transition Regexes},
booktitle = {LPAR 2024 Complementary Volume},
editor = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/cgnn},
doi = {10.29007/fgz5},
pages = {152-162},
year = {2024}}
@inproceedings{LPAR2024C:Case_Extensional_Non_Wellfounded,
author = {Joseph Zalewski and Pascal Hitzler},
title = {A Case for Extensional Non-Wellfounded Metamodeling},
booktitle = {LPAR 2024 Complementary Volume},
editor = {Nikolaj Bjørner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/K8rh},
doi = {10.29007/bpwd},
pages = {163-178},
year = {2024}}