Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/lpar/lpar2010d.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-07-08 10:58 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
