Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/series/eptcs/eptcs152.bht:"
@inproceedings{DBLP:journals/corr/ChamarthiDM14, author = {Harsh Raju Chamarthi and Peter C. Dillinger and Panagiotis Manolios}, editor = {Freek Verbeek and Julien Schmaltz}, title = {Data Definitions in the {ACL2} Sedan}, booktitle = {Proceedings Twelfth International Workshop on the {ACL2} Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014}, series = {{EPTCS}}, volume = {152}, pages = {27--48}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.152.3}, doi = {10.4204/EPTCS.152.3}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/ChamarthiDM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/CowlesG14, author = {John R. Cowles and Ruben Gamboa}, editor = {Freek Verbeek and Julien Schmaltz}, title = {Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis}, booktitle = {Proceedings Twelfth International Workshop on the {ACL2} Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014}, series = {{EPTCS}}, volume = {152}, pages = {89--100}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.152.8}, doi = {10.4204/EPTCS.152.8}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CowlesG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/DavisK14, author = {Jared Davis and Matt Kaufmann}, editor = {Freek Verbeek and Julien Schmaltz}, title = {Industrial-Strength Documentation for {ACL2}}, booktitle = {Proceedings Twelfth International Workshop on the {ACL2} Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014}, series = {{EPTCS}}, volume = {152}, pages = {9--25}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.152.2}, doi = {10.4204/EPTCS.152.2}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DavisK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/GamboaC14, author = {Ruben Gamboa and John R. Cowles}, editor = {Freek Verbeek and Julien Schmaltz}, title = {Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent}, booktitle = {Proceedings Twelfth International Workshop on the {ACL2} Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014}, series = {{EPTCS}}, volume = {152}, pages = {101--110}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.152.9}, doi = {10.4204/EPTCS.152.9}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GamboaC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/HardinDGM14, author = {David S. Hardin and Jennifer A. Davis and David A. Greve and Jedidiah R. McClurg}, editor = {Freek Verbeek and Julien Schmaltz}, title = {Development of a Translator from {LLVM} to {ACL2}}, booktitle = {Proceedings Twelfth International Workshop on the {ACL2} Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014}, series = {{EPTCS}}, volume = {152}, pages = {163--177}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.152.13}, doi = {10.4204/EPTCS.152.13}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/HardinDGM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/HerasK14b, author = {J{\'{o}}nathan Heras and Ekaterina Komendantskaya}, editor = {Freek Verbeek and Julien Schmaltz}, title = {ACL2(ml): Machine-Learning for {ACL2}}, booktitle = {Proceedings Twelfth International Workshop on the {ACL2} Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014}, series = {{EPTCS}}, volume = {152}, pages = {61--75}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.152.5}, doi = {10.4204/EPTCS.152.5}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/HerasK14b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/JoostenKU14, author = {Sebastiaan J. C. Joosten and Cezary Kaliszyk and Josef Urban}, editor = {Freek Verbeek and Julien Schmaltz}, title = {Initial Experiments with TPTP-style Automated Theorem Provers on {ACL2} Problems}, booktitle = {Proceedings Twelfth International Workshop on the {ACL2} Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014}, series = {{EPTCS}}, volume = {152}, pages = {77--85}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.152.6}, doi = {10.4204/EPTCS.152.6}, timestamp = {Wed, 16 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/JoostenKU14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/KaufmannM14, author = {Matt Kaufmann and J Strother Moore}, editor = {Freek Verbeek and Julien Schmaltz}, title = {Enhancements to {ACL2} in Versions 6.2, 6.3, and 6.4}, booktitle = {Proceedings Twelfth International Workshop on the {ACL2} Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014}, series = {{EPTCS}}, volume = {152}, pages = {1--7}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.152.1}, doi = {10.4204/EPTCS.152.1}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/KaufmannM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/OLearyR14, author = {John W. O'Leary and David M. Russinoff}, editor = {Freek Verbeek and Julien Schmaltz}, title = {Modeling Algorithms in SystemC and {ACL2}}, booktitle = {Proceedings Twelfth International Workshop on the {ACL2} Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014}, series = {{EPTCS}}, volume = {152}, pages = {145--162}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.152.12}, doi = {10.4204/EPTCS.152.12}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/OLearyR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/PuriRHX14, author = {Disha Puri and Sandip Ray and Kecheng Hao and Fei Xie}, editor = {Freek Verbeek and Julien Schmaltz}, title = {Using {ACL2} to Verify Loop Pipelining in Behavioral Synthesis}, booktitle = {Proceedings Twelfth International Workshop on the {ACL2} Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014}, series = {{EPTCS}}, volume = {152}, pages = {111--128}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.152.10}, doi = {10.4204/EPTCS.152.10}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/PuriRHX14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Selfridge14, author = {Benjamin Selfridge}, editor = {Freek Verbeek and Julien Schmaltz}, title = {An {ACL2} Mechanization of an Axiomatic Framework for Weak Memory}, booktitle = {Proceedings Twelfth International Workshop on the {ACL2} Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014}, series = {{EPTCS}}, volume = {152}, pages = {129--144}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.152.11}, doi = {10.4204/EPTCS.152.11}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Selfridge14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/SelfridgeS14, author = {Benjamin Selfridge and Eric Smith}, editor = {Freek Verbeek and Julien Schmaltz}, title = {Polymorphic Types in {ACL2}}, booktitle = {Proceedings Twelfth International Workshop on the {ACL2} Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014}, series = {{EPTCS}}, volume = {152}, pages = {49--59}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.152.4}, doi = {10.4204/EPTCS.152.4}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/SelfridgeS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/VerbeekS14, editor = {Freek Verbeek and Julien Schmaltz}, title = {Proceedings Twelfth International Workshop on the {ACL2} Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014}, series = {{EPTCS}}, volume = {152}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.152}, doi = {10.4204/EPTCS.152}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/VerbeekS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.