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/lpar2008.bht:"
download as .bib file
@inproceedings{DBLP:conf/lpar/Abel08,
author = {Andreas Abel},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Weak beta-theta-Normalization and Normalization by Evaluation for
System {F}},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {497--511},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_35},
doi = {10.1007/978-3-540-89439-1\_35},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Abel08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AlarconEFGGLST08,
author = {Beatriz Alarc{\'{o}}n and
Fabian Emmes and
Carsten Fuhs and
J{\"{u}}rgen Giesl and
Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas and
Peter Schneider{-}Kamp and
Ren{\'{e}} Thiemann},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Improving Context-Sensitive Dependency Pairs},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {636--651},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_44},
doi = {10.1007/978-3-540-89439-1\_44},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AlarconEFGGLST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AminofKL08,
author = {Benjamin Aminof and
Orna Kupferman and
Omer Lev},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {On the Relative Succinctness of Nondeterministic B{\"{u}}chi
and co-B{\"{u}}chi Word Automata},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {183--197},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_14},
doi = {10.1007/978-3-540-89439-1\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AminofKL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AndrausLS08,
author = {Zaher S. Andraus and
Mark H. Liffiton and
Karem A. Sakallah},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Reveal: {A} Formal Verification Tool for Verilog Designs},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {343--352},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_25},
doi = {10.1007/978-3-540-89439-1\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AndrausLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ArapinisDK08,
author = {Myrto Arapinis and
St{\'{e}}phanie Delaune and
Steve Kremer},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {From One Session to Many: Dynamic Tags for Security Protocols},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {128--142},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_9},
doi = {10.1007/978-3-540-89439-1\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/ArapinisDK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ArmantDS08,
author = {Vincent Armant and
Philippe Dague and
Laurent Simon},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Distributed Consistency-Based Diagnosis},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {113--127},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_8},
doi = {10.1007/978-3-540-89439-1\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/ArmantDS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AsinNOR08,
author = {Roberto As{\'{\i}}n and
Robert Nieuwenhuis and
Albert Oliveras and
Enric Rodr{\'{\i}}guez{-}Carbonell},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Efficient Generation of Unsatisfiability Proofs and Cores in {SAT}},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {16--30},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_2},
doi = {10.1007/978-3-540-89439-1\_2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/AsinNOR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BaazCF08,
author = {Matthias Baaz and
Agata Ciabattoni and
Christian G. Ferm{\"{u}}ller},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Cut Elimination for First Order G{\"{o}}del Logic by Hyperclause
Resolution},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {451--466},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_32},
doi = {10.1007/978-3-540-89439-1\_32},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BaazCF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BackesBU08,
author = {Michael Backes and
Matthias Berg and
Dominique Unruh},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {A Formal Language for Cryptographic Pseudocode},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {353--376},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_26},
doi = {10.1007/978-3-540-89439-1\_26},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BackesBU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BaumgartnerFT08,
author = {Peter Baumgartner and
Alexander Fuchs and
Cesare Tinelli},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {{(LIA)} - Model Evolution with Linear Integer Arithmetic Constraints},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {258--273},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_19},
doi = {10.1007/978-3-540-89439-1\_19},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/BaumgartnerFT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BelkhirS08,
author = {Walid Belkhir and
Luigi Santocanale},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {The Variable Hierarchy for the Lattice {\(\mathrm{\mu}\)}-Calculus},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {605--620},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_42},
doi = {10.1007/978-3-540-89439-1\_42},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BelkhirS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BezemNR08,
author = {Marc Bezem and
Robert Nieuwenhuis and
Enric Rodr{\'{\i}}guez{-}Carbonell},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {The Max-Atom Problem and Its Relevance},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {47--61},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_4},
doi = {10.1007/978-3-540-89439-1\_4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/BezemNR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BrazdilBHK08,
author = {Tom{\'{a}}s Br{\'{a}}zdil and
V{\'{a}}clav Brozek and
Jan Holecek and
Anton{\'{\i}}n Kucera},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Discounted Properties of Probabilistic Pushdown Automata},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {230--242},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_17},
doi = {10.1007/978-3-540-89439-1\_17},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BrazdilBHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BresolinMGMS08,
author = {Davide Bresolin and
Dario Della Monica and
Valentin Goranko and
Angelo Montanari and
Guido Sciavicco},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Decidable and Undecidable Fragments of Halpern and Shoham's Interval
Temporal Logic: Towards a Complete Classification},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {590--604},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_41},
doi = {10.1007/978-3-540-89439-1\_41},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/BresolinMGMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BrunnlerM08,
author = {Kai Br{\"{u}}nnler and
Richard McKinley},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {An Algorithmic Interpretation of a Deep Inference System},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {482--496},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_34},
doi = {10.1007/978-3-540-89439-1\_34},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/BrunnlerM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CharatonikW08,
author = {Witold Charatonik and
Michal Wrona},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Tractable Quantified Constraint Satisfaction Problems over Positive
Temporal Templates},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {543--557},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_38},
doi = {10.1007/978-3-540-89439-1\_38},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CharatonikW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Chaudhuri08,
author = {Kaustuv Chaudhuri},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Focusing Strategies in the Sequent Calculus of Synthetic Connectives},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {467--481},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_33},
doi = {10.1007/978-3-540-89439-1\_33},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Chaudhuri08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Clarke08,
author = {Edmund M. Clarke},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Model Checking - My 27-Year Quest to Overcome the State Explosion
Problem},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {182},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_13},
doi = {10.1007/978-3-540-89439-1\_13},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Clarke08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DaxK08,
author = {Christian Dax and
Felix Klaedtke},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Alternation Elimination by Complementation (Extended Abstract)},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {214--229},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_16},
doi = {10.1007/978-3-540-89439-1\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DaxK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/EiterOS08,
author = {Thomas Eiter and
Magdalena Ortiz and
Mantas Simkus},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Reasoning Using Knots},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {377--390},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_27},
doi = {10.1007/978-3-540-89439-1\_27},
timestamp = {Mon, 29 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/EiterOS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/EndrullisGH08,
author = {J{\"{o}}rg Endrullis and
Clemens Grabmayer and
Dimitri Hendriks},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Data-Oblivious Stream Productivity},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {79--96},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_6},
doi = {10.1007/978-3-540-89439-1\_6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/EndrullisGH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GabbayH08,
author = {Murdoch James Gabbay and
Martin Hofmann},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Nominal Renaming Sets},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {158--173},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_11},
doi = {10.1007/978-3-540-89439-1\_11},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GabbayH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GallagherR08,
author = {John P. Gallagher and
Mads Rosendahl},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Approximating Term Rewriting Systems: {A} Horn Clause Specification
and Its Implementation},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {682--696},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_47},
doi = {10.1007/978-3-540-89439-1\_47},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GallagherR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GlimmK08,
author = {Birte Glimm and
Yevgeny Kazakov},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Role Conjunctions in Expressive Description Logics},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {391--405},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_28},
doi = {10.1007/978-3-540-89439-1\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GlimmK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HabermehlIV08,
author = {Peter Habermehl and
Radu Iosif and
Tom{\'{a}}s Vojnar},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {A Logic of Singly Indexed Arrays},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {558--573},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_39},
doi = {10.1007/978-3-540-89439-1\_39},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HabermehlIV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HenzingerHK08,
author = {Thomas A. Henzinger and
Thibaud Hottelier and
Laura Kov{\'{a}}cs},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Valigator: {A} Verification Tool with Bound and Invariant Generation},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {333--342},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_24},
doi = {10.1007/978-3-540-89439-1\_24},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HenzingerHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HirokawaM08,
author = {Nao Hirokawa and
Georg Moser},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Complexity, Graphs, and the Dependency Pair Method},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {652--666},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_45},
doi = {10.1007/978-3-540-89439-1\_45},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HirokawaM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HirokawaMZ08,
author = {Nao Hirokawa and
Aart Middeldorp and
Harald Zankl},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Uncurrying for Termination},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {667--681},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_46},
doi = {10.1007/978-3-540-89439-1\_46},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HirokawaMZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HonsellLLS08,
author = {Furio Honsell and
Marina Lenisa and
Luigi Liquori and
Ivan Scagnetto},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {A Conditional Logical Framework},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {143--157},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_10},
doi = {10.1007/978-3-540-89439-1\_10},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HonsellLLS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/JaklPRW08,
author = {Michael Jakl and
Reinhard Pichler and
Stefan R{\"{u}}mmele and
Stefan Woltran},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Fast Counting with Bounded Treewidth},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {436--450},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_31},
doi = {10.1007/978-3-540-89439-1\_31},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/JaklPRW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/JarvisaloJN08,
author = {Matti J{\"{a}}rvisalo and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Justification-Based Local Search with Adaptive Noise Strategies},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {31--46},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_3},
doi = {10.1007/978-3-540-89439-1\_3},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/JarvisaloJN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/JunttilaD08,
author = {Tommi A. Junttila and
Jori Dubrovin},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Encoding Queues in Satisfiability Modulo Theories Based Bounded Model
Checking},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {290--304},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_21},
doi = {10.1007/978-3-540-89439-1\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/JunttilaD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KontchakovPWZ08,
author = {Roman Kontchakov and
Ian Pratt{-}Hartmann and
Frank Wolter and
Michael Zakharyaschev},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {On the Computational Complexity of Spatial Logics with Connectedness
Constraints},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {574--589},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_40},
doi = {10.1007/978-3-540-89439-1\_40},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/KontchakovPWZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KopR08,
author = {Cynthia Kop and
Femke van Raamsdonk},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {A Higher-Order Iterative Path Ordering},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {697--711},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_48},
doi = {10.1007/978-3-540-89439-1\_48},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KopR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Langholm08,
author = {Tore Langholm},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Default Logics with Preference Order: Principles and Characterisations},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {406--420},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_29},
doi = {10.1007/978-3-540-89439-1\_29},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Langholm08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/LibkinS08,
author = {Leonid Libkin and
Cristina Sirangelo},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Reasoning about {XML} with Temporal Logics and Automata},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {97--112},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_7},
doi = {10.1007/978-3-540-89439-1\_7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/LibkinS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MaherH08,
author = {Michael J. Maher and
Ge Huang},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {On Computing Constraint Abduction Answers},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {421--435},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_30},
doi = {10.1007/978-3-540-89439-1\_30},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MaherH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Marques-SilvaLM08,
author = {Jo{\~{a}}o Marques{-}Silva and
In{\^{e}}s Lynce and
Vasco M. Manquinho},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Symmetry Breaking for Maximum Satisfiability},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {1--15},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_1},
doi = {10.1007/978-3-540-89439-1\_1},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/Marques-SilvaLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/McLaughlinP08,
author = {Sean McLaughlin and
Frank Pfenning},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional
Logic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {174--181},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_12},
doi = {10.1007/978-3-540-89439-1\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/McLaughlinP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Monniaux08,
author = {David Monniaux},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {A Quantifier Elimination Algorithm for Linear Real Arithmetic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {243--257},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_18},
doi = {10.1007/978-3-540-89439-1\_18},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Monniaux08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MuranoNP08,
author = {Aniello Murano and
Margherita Napoli and
Mimmo Parente},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Program Complexity in Hierarchical Module Checking},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {318--332},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_23},
doi = {10.1007/978-3-540-89439-1\_23},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MuranoNP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/PichlerS08,
author = {Reinhard Pichler and
Vadim Savenkov},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Towards Practical Feasibility of Core Computation in Data Exchange},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {62--78},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_5},
doi = {10.1007/978-3-540-89439-1\_5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/PichlerS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/PulinaT08,
author = {Luca Pulina and
Armando Tacchella},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Treewidth: {A} Useful Marker of Empirical Hardness in Quantified Boolean
Logic Encodings},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {528--542},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_37},
doi = {10.1007/978-3-540-89439-1\_37},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/PulinaT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Rummer08,
author = {Philipp R{\"{u}}mmer},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {A Constraint Sequent Calculus for First-Order Logic with Linear Integer
Arithmetic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {274--289},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_20},
doi = {10.1007/978-3-540-89439-1\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Rummer08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Samer08,
author = {Marko Samer},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Variable Dependencies of Quantified CSPs},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {512--527},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_36},
doi = {10.1007/978-3-540-89439-1\_36},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Samer08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Schopp08,
author = {Ulrich Sch{\"{o}}pp},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {A Formalised Lower Bound on Undirected Graph Reachability},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {621--635},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_43},
doi = {10.1007/978-3-540-89439-1\_43},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Schopp08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ToL08,
author = {Anthony Widjaja To and
Leonid Libkin},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Recurrent Reachability Analysis in Regular Model Checking},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {198--213},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_15},
doi = {10.1007/978-3-540-89439-1\_15},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/ToL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/VeanesS08,
author = {Margus Veanes and
Ando Saabas},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {On Bounded Reachability of Programs with Set Comprehensions},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {305--317},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_22},
doi = {10.1007/978-3-540-89439-1\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/VeanesS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2008,
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1},
doi = {10.1007/978-3-540-89439-1},
isbn = {978-3-540-89438-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/2008.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-05-06 20:11 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:
