LPAR 2024C: BibTeX Entries

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}}