Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/lpar/lpar2010d.bht:"
@inproceedings{DBLP:conf/lpar/AavaniTUTM10, author = {Amir Aavani and Shahab Tasharrofi and Gulay {\"{U}}nel and Eugenia Ternovska and David G. Mitchell}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Speed-Up Techniques for Negation in Grounding}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {13--26}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_2}, doi = {10.1007/978-3-642-17511-4\_2}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/AavaniTUTM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BandaG10, author = {Gourinath Banda and John P. Gallagher}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Constraint-Based Abstract Semantics for Temporal Logic: {A} Direct Approach to Design and Implementation}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {27--45}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_3}, doi = {10.1007/978-3-642-17511-4\_3}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BandaG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BartheDKLL10, author = {Gilles Barthe and Marion Daubignard and Bruce M. Kapron and Yassine Lakhnech and Vincent Laporte}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {On the Equality of Probabilistic Terms}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {46--63}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_4}, doi = {10.1007/978-3-642-17511-4\_4}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lpar/BartheDKLL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BergerT10, author = {Martin Berger and Laurence Tratt}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Program Logics for Homogeneous Meta-programming}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {64--81}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_5}, doi = {10.1007/978-3-642-17511-4\_5}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BergerT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BeringerGH10, author = {Lennart Beringer and Robert Grabowski and Martin Hofmann}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Verifying Pointer and String Analyses with Region Type Systems}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {82--102}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_6}, doi = {10.1007/978-3-642-17511-4\_6}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BeringerGH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BlancHHK10, author = {R{\'{e}}gis Blanc and Thomas A. Henzinger and Thibaud Hottelier and Laura Kov{\'{a}}cs}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {{ABC:} Algebraic Bound Computation for Loops}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {103--118}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_7}, doi = {10.1007/978-3-642-17511-4\_7}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BlancHHK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BozzelliLP10, author = {Laura Bozzelli and Axel Legay and Sophie Pinchinat}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Hardness of Preorder Checking for Basic Formalisms}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {119--135}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_8}, doi = {10.1007/978-3-642-17511-4\_8}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BozzelliLP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BruscoliGGP10, author = {Paola Bruscoli and Alessio Guglielmi and Tom Gundersen and Michel Parigot}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {136--153}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_9}, doi = {10.1007/978-3-642-17511-4\_9}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BruscoliGGP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/CodishZ10, author = {Michael Codish and Moshe Zazon{-}Ivry}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Pairwise Cardinality Networks}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {154--172}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_10}, doi = {10.1007/978-3-642-17511-4\_10}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lpar/CodishZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/DoughertyL10, author = {Daniel J. Dougherty and Luigi Liquori}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Logic and Computation in a Lambda Calculus with Intersection and Union Types}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {173--191}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_11}, doi = {10.1007/978-3-642-17511-4\_11}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/DoughertyL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/FaellaNP10, author = {Marco Faella and Margherita Napoli and Mimmo Parente}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Graded Alternating-Time Temporal Logic}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {192--211}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_12}, doi = {10.1007/978-3-642-17511-4\_12}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/FaellaNP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/Fearnley10, author = {John Fearnley}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Non-oblivious Strategy Improvement}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {212--230}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_13}, doi = {10.1007/978-3-642-17511-4\_13}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/Fearnley10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/GabbayG10, author = {Michael Gabbay and Murdoch James Gabbay}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {231--254}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_14}, doi = {10.1007/978-3-642-17511-4\_14}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/GabbayG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/GalmicheS10, author = {Didier Galmiche and Yakoub Salhi}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Label-Free Proof Systems for Intuitionistic Modal Logic {IS5}}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {255--271}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_15}, doi = {10.1007/978-3-642-17511-4\_15}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lpar/GalmicheS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/Hirai10, author = {Yoichi Hirai}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {272--289}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_16}, doi = {10.1007/978-3-642-17511-4\_16}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lpar/Hirai10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/Horbach10, author = {Matthias Horbach}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Disunification for Ultimately Periodic Interpretations}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {290--311}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_17}, doi = {10.1007/978-3-642-17511-4\_17}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/Horbach10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/KupfermanT10, author = {Orna Kupferman and Tami Tamir}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Coping with Selfish On-Going Behaviors}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {501--516}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_28}, doi = {10.1007/978-3-642-17511-4\_28}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/KupfermanT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/KupfermanV10, author = {Orna Kupferman and Moshe Y. Vardi}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Synthesis of Trigger Properties}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {312--331}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_18}, doi = {10.1007/978-3-642-17511-4\_18}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/KupfermanV10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/LarrosaOR10, author = {Javier Larrosa and Albert Oliveras and Enric Rodr{\'{\i}}guez{-}Carbonell}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Semiring-Induced Propositional Logic: Definition and Basic Algorithms}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {332--347}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_19}, doi = {10.1007/978-3-642-17511-4\_19}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lpar/LarrosaOR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/Leino10, author = {K. Rustan M. Leino}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Dafny: An Automatic Program Verifier for Functional Correctness}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {348--370}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_20}, doi = {10.1007/978-3-642-17511-4\_20}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/Leino10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/MogaveroMV10, author = {Fabio Mogavero and Aniello Murano and Moshe Y. Vardi}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Relentful Strategic Reasoning in Alternating-Time Temporal Logic}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {371--386}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_21}, doi = {10.1007/978-3-642-17511-4\_21}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/MogaveroMV10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/Paleo10, author = {Bruno Woltzenlogel Paleo}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Atomic Cut Introduction by Resolution: Proof Structuring and Compression}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {463--480}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_26}, doi = {10.1007/978-3-642-17511-4\_26}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/Paleo10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/PichlerRW10, author = {Reinhard Pichler and Stefan R{\"{u}}mmele and Stefan Woltran}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Counting and Enumeration Problems with Bounded Treewidth}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {387--404}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_22}, doi = {10.1007/978-3-642-17511-4\_22}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/PichlerRW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/Spoto10, author = {Fausto Spoto}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {The Nullness Analyser of julia}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {405--424}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_23}, doi = {10.1007/978-3-642-17511-4\_23}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/Spoto10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/Sutcliffe10, author = {Geoff Sutcliffe}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {The {TPTP} World - Infrastructure for Automated Reasoning}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {1--12}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_1}, doi = {10.1007/978-3-642-17511-4\_1}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/Sutcliffe10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/VeanesTH10, author = {Margus Veanes and Nikolai Tillmann and Jonathan de Halleux}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Qex: Symbolic {SQL} Query Explorer}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {425--446}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_24}, doi = {10.1007/978-3-642-17511-4\_24}, timestamp = {Tue, 23 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/VeanesTH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/VyskocilSU10, author = {Jir{\'{\i}} Vyskocil and David Stanovsk{\'{y}} and Josef Urban}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Automated Proof Compression by Invention of New Definitions}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {447--462}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_25}, doi = {10.1007/978-3-642-17511-4\_25}, timestamp = {Mon, 06 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lpar/VyskocilSU10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/ZanklM10, author = {Harald Zankl and Aart Middeldorp}, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Satisfiability of Non-linear (Ir)rational Arithmetic}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, pages = {481--500}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4\_27}, doi = {10.1007/978-3-642-17511-4\_27}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lpar/ZanklM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lpar/2010d, editor = {Edmund M. Clarke and Andrei Voronkov}, title = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6355}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-17511-4}, doi = {10.1007/978-3-642-17511-4}, isbn = {978-3-642-17510-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/2010d.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.