Volume
@proceedings{LPAR2024C,
title = {LPAR 2024 Complementary Volume},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762}}
Papers
@inproceedings{LPAR2024C:Efficient_and_Verified_Continuous,
author = {Mohit Garg and Suneel Sarswat},
title = {Efficient and Verified Continuous Double Auctions},
booktitle = {LPAR 2024 Complementary Volume},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
pages = {1--13},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/CP7T},
doi = {10.29007/92jt}}
@inproceedings{LPAR2024C:On_SMT_Theory_Design,
author = {Hichem Rami Ait El Hara and Fran\textbackslash{}c\{c\}ois Bobot and Guillaume Bury},
title = {On SMT Theory Design: The Case of Sequences},
booktitle = {LPAR 2024 Complementary Volume},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
pages = {14--29},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/qdvJ},
doi = {10.29007/75tl}}
@inproceedings{LPAR2024C:Alternate_Semantics_of_Guarded,
author = {Nachum Dershowitz},
title = {Alternate Semantics of the Guarded Conditional},
booktitle = {LPAR 2024 Complementary Volume},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
pages = {30--52},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/1HKl},
doi = {10.29007/2kx9}}
@inproceedings{LPAR2024C:Certification_of_Tail_Recursive,
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\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
pages = {53--68},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/tbwq},
doi = {10.29007/spjs}}
@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\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
pages = {69--80},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/S8Gt},
doi = {10.29007/d1rc}}
@inproceedings{LPAR2024C:System_for_Evaluating_Admissibility,
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\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
pages = {81--91},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/kQX1},
doi = {10.29007/1821}}
@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\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
pages = {92--106},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/qk3c},
doi = {10.29007/21t9}}
@inproceedings{LPAR2024C:Natural_style_Prover_in_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\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
pages = {107--116},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/n11t},
doi = {10.29007/q2vx}}
@inproceedings{LPAR2024C:On_Proof_Schemata_and,
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\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
pages = {117--130},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/W8XS},
doi = {10.29007/4g2q}}
@inproceedings{LPAR2024C:Towards_computer_assisted_proofs_of,
author = {Alexei Lisitsa},
title = {Towards computer-assisted proofs of parametric Andrews-Curtis simplifications, II},
booktitle = {LPAR 2024 Complementary Volume},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
pages = {131--136},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/tkQS},
doi = {10.29007/p2w1}}
@inproceedings{LPAR2024C:Automated_Theorem_Proving_for,
author = {Fred Mesnard and Thierry Marianne and Etienne Payet},
title = {Automated Theorem Proving for Prolog Verification},
booktitle = {LPAR 2024 Complementary Volume},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
pages = {137--151},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/n9Jl},
doi = {10.29007/c25r}}
@inproceedings{LPAR2024C:On_Symbolic_Derivatives_and,
author = {Margus Veanes},
title = {On Symbolic Derivatives and Transition Regexes},
booktitle = {LPAR 2024 Complementary Volume},
editor = {Nikolaj Bj\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
pages = {152--162},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/cgnn},
doi = {10.29007/fgz5}}
@inproceedings{LPAR2024C:Case_for_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\{\textbackslash{}o\}rner and Marijn Heule and Andrei Voronkov},
series = {Kalpa Publications in Computing},
volume = {18},
pages = {163--178},
year = {2024},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/K8rh},
doi = {10.29007/bpwd}}