Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs327.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-2009-13761,
  author       = {David M. Russinoff},
  editor       = {Grant O. Passmore and
                  Ruben Gamboa},
  title        = {Formal Verification of Arithmetic {RTL:} Translating Verilog to {C++}
                  to {ACL2}},
  booktitle    = {Proceedings of the Sixteenth International Workshop on the {ACL2}
                  Theorem Prover and its Applications, Worldwide, Planet Earth, May
                  28-29, 2020},
  series       = {{EPTCS}},
  volume       = {327},
  pages        = {1--15},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.327.1},
  doi          = {10.4204/EPTCS.327.1},
  timestamp    = {Thu, 10 Dec 2020 15:19:59 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-13761.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-13762,
  author       = {Matt Kaufmann and
                  J Strother Moore},
  editor       = {Grant O. Passmore and
                  Ruben Gamboa},
  title        = {Iteration in {ACL2}},
  booktitle    = {Proceedings of the Sixteenth International Workshop on the {ACL2}
                  Theorem Prover and its Applications, Worldwide, Planet Earth, May
                  28-29, 2020},
  series       = {{EPTCS}},
  volume       = {327},
  pages        = {16--31},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.327.2},
  doi          = {10.4204/EPTCS.327.2},
  timestamp    = {Mon, 19 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-13762.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-13763,
  author       = {Sol Swords},
  editor       = {Grant O. Passmore and
                  Ruben Gamboa},
  title        = {New Rewriter Features in {FGL}},
  booktitle    = {Proceedings of the Sixteenth International Workshop on the {ACL2}
                  Theorem Prover and its Applications, Worldwide, Planet Earth, May
                  28-29, 2020},
  series       = {{EPTCS}},
  volume       = {327},
  pages        = {32--46},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.327.3},
  doi          = {10.4204/EPTCS.327.3},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-13763.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-13764,
  author       = {Rob Sumners},
  editor       = {Grant O. Passmore and
                  Ruben Gamboa},
  title        = {Computing and Proving Well-founded Orderings through Finite Abstractions},
  booktitle    = {Proceedings of the Sixteenth International Workshop on the {ACL2}
                  Theorem Prover and its Applications, Worldwide, Planet Earth, May
                  28-29, 2020},
  series       = {{EPTCS}},
  volume       = {327},
  pages        = {47--60},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.327.4},
  doi          = {10.4204/EPTCS.327.4},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-13764.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-13765,
  author       = {Mertcan Temel},
  editor       = {Grant O. Passmore and
                  Ruben Gamboa},
  title        = {RP-Rewriter: An Optimized Rewriter for Large Terms in {ACL2}},
  booktitle    = {Proceedings of the Sixteenth International Workshop on the {ACL2}
                  Theorem Prover and its Applications, Worldwide, Planet Earth, May
                  28-29, 2020},
  series       = {{EPTCS}},
  volume       = {327},
  pages        = {61--74},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.327.5},
  doi          = {10.4204/EPTCS.327.5},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-13765.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-13766,
  author       = {Ruben Gamboa and
                  John R. Cowles and
                  Woodrow Gamboa},
  editor       = {Grant O. Passmore and
                  Ruben Gamboa},
  title        = {Quadratic Extensions in {ACL2}},
  booktitle    = {Proceedings of the Sixteenth International Workshop on the {ACL2}
                  Theorem Prover and its Applications, Worldwide, Planet Earth, May
                  28-29, 2020},
  series       = {{EPTCS}},
  volume       = {327},
  pages        = {75--86},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.327.6},
  doi          = {10.4204/EPTCS.327.6},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-13766.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-13767,
  author       = {Sol Swords},
  editor       = {Grant O. Passmore and
                  Ruben Gamboa},
  title        = {Generating Mutually Inductive Theorems from Concise Descriptions},
  booktitle    = {Proceedings of the Sixteenth International Workshop on the {ACL2}
                  Theorem Prover and its Applications, Worldwide, Planet Earth, May
                  28-29, 2020},
  series       = {{EPTCS}},
  volume       = {327},
  pages        = {95--107},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.327.10},
  doi          = {10.4204/EPTCS.327.10},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-13767.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-13769,
  author       = {Alessandro Coglio},
  editor       = {Grant O. Passmore and
                  Ruben Gamboa},
  title        = {Ethereum's Recursive Length Prefix in {ACL2}},
  booktitle    = {Proceedings of the Sixteenth International Workshop on the {ACL2}
                  Theorem Prover and its Applications, Worldwide, Planet Earth, May
                  28-29, 2020},
  series       = {{EPTCS}},
  volume       = {327},
  pages        = {108--124},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.327.11},
  doi          = {10.4204/EPTCS.327.11},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-13769.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-13771,
  author       = {Alessandro Coglio and
                  Stephen J. Westfold},
  editor       = {Grant O. Passmore and
                  Ruben Gamboa},
  title        = {Isomorphic Data Type Transformations},
  booktitle    = {Proceedings of the Sixteenth International Workshop on the {ACL2}
                  Theorem Prover and its Applications, Worldwide, Planet Earth, May
                  28-29, 2020},
  series       = {{EPTCS}},
  volume       = {327},
  pages        = {125--141},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.327.12},
  doi          = {10.4204/EPTCS.327.12},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-13771.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-2009-12521,
  editor       = {Grant O. Passmore and
                  Ruben Gamboa},
  title        = {Proceedings of the Sixteenth International Workshop on the {ACL2}
                  Theorem Prover and its Applications, Worldwide, Planet Earth, May
                  28-29, 2020},
  series       = {{EPTCS}},
  volume       = {327},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.327},
  doi          = {10.4204/EPTCS.327},
  timestamp    = {Thu, 10 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-12521.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.