default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/lpar/lpar2005.bht:"
download as .bib file
@inproceedings{DBLP:conf/lpar/AhrendtRS05,
author = {Wolfgang Ahrendt and
Andreas Roth and
Ralf Sasse},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Automatic Validation of Transformation Rules for Java Verification
Against a Rewriting Semantics},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {412--426},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_29},
doi = {10.1007/11591191\_29},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AhrendtRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AleksicD05,
author = {Vladimir Aleksic and
Anatoli Degtyarev},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Regular Derivations in Basic Superposition-Based Calculi},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {292--306},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_21},
doi = {10.1007/11591191\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AleksicD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AngerGLNS05,
author = {Christian Anger and
Martin Gebser and
Thomas Linke and
Andr{\'{e}} Neumann and
Torsten Schaub},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {The nomore++ Approach to Answer Set Solving},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {95--109},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_8},
doi = {10.1007/11591191\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AngerGLNS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BaazI05,
author = {Matthias Baaz and
Rosalie Iemhoff},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {On Interpolation in Existence Logics},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {697--711},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_48},
doi = {10.1007/11591191\_48},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BaazI05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BallLM05,
author = {Thomas Ball and
Shuvendu K. Lahiri and
Madanlal Musuvathi},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Zap: Automated Theorem Proving for Software Analysis},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {2--22},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_2},
doi = {10.1007/11591191\_2},
timestamp = {Tue, 09 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BallLM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BasinMV05,
author = {David A. Basin and
Sebastian M{\"{o}}dersheim and
Luca Vigan{\`{o}}},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Algebraic Intruder Deductions},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {549--564},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_38},
doi = {10.1007/11591191\_38},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/BasinMV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BeckertT05,
author = {Bernhard Beckert and
Kerry Trentelman},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Second-Order Principles in Specification Languages for Object-Oriented
Programs},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {154--168},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_12},
doi = {10.1007/11591191\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BeckertT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BezemC05,
author = {Marc Bezem and
Thierry Coquand},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Automating Coherent Logic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {246--260},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_18},
doi = {10.1007/11591191\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BezemC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Bjork05,
author = {Magnus Bj{\"{o}}rk},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {A First Order Extension of St{\aa}lmarck's Method},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {276--291},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_20},
doi = {10.1007/11591191\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Bjork05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BozzelliMP05,
author = {Laura Bozzelli and
Aniello Murano and
Adriano Peron},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Pushdown Module Checking},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {504--518},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_35},
doi = {10.1007/11591191\_35},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BozzelliMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ChaiebN05,
author = {Amine Chaieb and
Tobias Nipkow},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Verifying and Reflecting Quantifier Elimination for Presburger Arithmetic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {367--380},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_26},
doi = {10.1007/11591191\_26},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/ChaiebN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ChristiansenM05,
author = {Henning Christiansen and
Davide Martinenghi},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Incremental Integrity Checking: Limitations and Possibilities},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {712--727},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_49},
doi = {10.1007/11591191\_49},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/ChristiansenM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Coste-MarquisDM05,
author = {Sylvie Coste{-}Marquis and
Caroline Devred and
Pierre Marquis},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Inference from Controversial Arguments},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {606--620},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_42},
doi = {10.1007/11591191\_42},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Coste-MarquisDM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DastaniGRT05,
author = {Mehdi Dastani and
Guido Governatori and
Antonino Rotolo and
Leendert W. N. van der Torre},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Programming Cognitive Agents in Defeasible Logic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {621--636},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_43},
doi = {10.1007/11591191\_43},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DastaniGRT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DaumMSS05,
author = {Matthias Daum and
Stefan Maus and
Norbert Schirmer and
Mohamed Nassim Seghir},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Integration of a Software Model Checker into Isabelle},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {381--395},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_27},
doi = {10.1007/11591191\_27},
timestamp = {Fri, 22 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/DaumMSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Dershowitz05,
author = {Nachum Dershowitz},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {The Four Sons of Penrose},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {125--138},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_10},
doi = {10.1007/11591191\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Dershowitz05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DixFS05,
author = {J{\"{u}}rgen Dix and
Wolfgang Faber and
V. S. Subrahmanian},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {The Relationship Between Reasoning About Privacy and Default Logics},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {637--650},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_44},
doi = {10.1007/11591191\_44},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/DixFS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DoughertyGLL05,
author = {Daniel J. Dougherty and
Silvia Ghilezan and
Pierre Lescanne and
Silvia Likavec},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Strong Normalization of the Dual Classical Sequent Calculus},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {169--183},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_13},
doi = {10.1007/11591191\_13},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DoughertyGLL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DuanHLOSZ05,
author = {Jianjun Duan and
Joe Hurd and
Guodong Li and
Scott Owens and
Konrad Slind and
Junxing Zhang},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Functional Correctness Proofs of Encryption Algorithms},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {519--533},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_36},
doi = {10.1007/11591191\_36},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DuanHLOSZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FernandezGR05,
author = {Mirtha{-}Lina Fern{\'{a}}ndez and
Guillem Godoy and
Albert Rubio},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Recursive Path Orderings Can Also Be Incremental},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {230--245},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_17},
doi = {10.1007/11591191\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/FernandezGR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FerraraPV05,
author = {Andrea Ferrara and
Guoqiang Pan and
Moshe Y. Vardi},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Treewidth in Verification: Local vs. Global},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {489--503},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_34},
doi = {10.1007/11591191\_34},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/FerraraPV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Fritz05,
author = {Carsten Fritz},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Concepts of Automata Construction from {LTL}},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {728--742},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_50},
doi = {10.1007/11591191\_50},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Fritz05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GalmicheM05,
author = {Didier Galmiche and
Daniel M{\'{e}}ry},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Characterizing Provability in},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {459--473},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_32},
doi = {10.1007/11591191\_32},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GalmicheM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Gelder05,
author = {Allen Van Gelder},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Independently Checkable Proofs from Decision Procedures: Issues and
Progress},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {1},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_1},
doi = {10.1007/11591191\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Gelder05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Gelder05a,
author = {Allen Van Gelder},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Pool Resolution and Its Relation to Regular Resolution and {DPLL}
with Clause Learning},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {580--594},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_40},
doi = {10.1007/11591191\_40},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Gelder05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GiordanoGOP05,
author = {Laura Giordano and
Valentina Gliozzi and
Nicola Olivetti and
Gian Luca Pozzato},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Analytic Tableaux for {KLM} Preferential and Cumulative Logics},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {666--681},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_46},
doi = {10.1007/11591191\_46},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/GiordanoGOP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HolzlC05,
author = {Matthias M. H{\"{o}}lzl and
John N. Crossley},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Disjunctive Constraint Lambda Calculi},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {64--78},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_6},
doi = {10.1007/11591191\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HolzlC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KetemaS05,
author = {Jeroen Ketema and
Jakob Grue Simonsen},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {On Confluence of Infinitary Combinatory Reduction Systems},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {199--214},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_15},
doi = {10.1007/11591191\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KetemaS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KutsiaM05,
author = {Temur Kutsia and
Mircea Marin},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Matching with Regular Constraints},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {215--229},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_16},
doi = {10.1007/11591191\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KutsiaM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Larchey-Wendling05,
author = {Dominique Larchey{-}Wendling},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Bounding Resource Consumption with G{\"{o}}del-Dummett Logics},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {682--696},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_47},
doi = {10.1007/11591191\_47},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Larchey-Wendling05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Lenat05,
author = {Douglas B. Lenat},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Scaling Up: Computers vs. Common Sense},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {47--47},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_4},
doi = {10.1007/11591191\_4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Lenat05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/LucasM05,
author = {Salvador Lucas and
Jos{\'{e}} Meseguer},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Termination of Fair Computations in Term Rewriting},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {184--198},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_14},
doi = {10.1007/11591191\_14},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/LucasM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MarienMDB05,
author = {Maarten Mari{\"{e}}n and
Rudradeb Mitra and
Marc Denecker and
Maurice Bruynooghe},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Satisfiability Checking for {PC(ID)}},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {565--579},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_39},
doi = {10.1007/11591191\_39},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MarienMDB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/McIverW05,
author = {Annabelle McIver and
Tjark Weber},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Towards Automated Proof Support for Probabilistic Distributed Systems},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {534--548},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_37},
doi = {10.1007/11591191\_37},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/McIverW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MontanariPV05,
author = {Angelo Montanari and
Alberto Policriti and
Nicola Vitacolonna},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {139--153},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_11},
doi = {10.1007/11591191\_11},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MontanariPV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/NadathurQ05,
author = {Gopalan Nadathur and
Xiaochu Qi},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Optimizing the Runtime Processing of Types in Polymorphic Logic Programming
Languages},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {110--124},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_9},
doi = {10.1007/11591191\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/NadathurQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/NieuwenhuisO05,
author = {Robert Nieuwenhuis and
Albert Oliveras},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Decision Procedures for SAT, {SAT} Modulo Theories and Beyond. The
BarcelogicTools},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {23--46},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_3},
doi = {10.1007/11591191\_3},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/NieuwenhuisO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/OhsakiTTR05,
author = {Hitoshi Ohsaki and
Jean{-}Marc Talbot and
Sophie Tison and
Yves Roos},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Monotone AC-Tree Automata},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {337--351},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_24},
doi = {10.1007/11591191\_24},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/OhsakiTTR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/PaluDP05,
author = {Alessandro Dal Pal{\`{u}} and
Agostino Dovier and
Enrico Pontelli},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {A New Constraint Solver for 3D Lattices and Its Application to the
Protein Folding Problem},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {48--63},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_5},
doi = {10.1007/11591191\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/PaluDP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/PimentelM05,
author = {Elaine Pimentel and
Dale Miller},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {On the Specification of Sequent Systems},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {352--366},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_25},
doi = {10.1007/11591191\_25},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/PimentelM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/PiroiK05,
author = {Florina Piroi and
Temur Kutsia},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {The Theorema Environment for Interactive Proof Development},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {261--275},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_19},
doi = {10.1007/11591191\_19},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/PiroiK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ShenZ05,
author = {Haiou Shen and
Hantao Zhang},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Another Complete Local Search Method for {SAT}},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {595--605},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_41},
doi = {10.1007/11591191\_41},
timestamp = {Tue, 17 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/ShenZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SheremetTWZ05,
author = {Mikhail Sheremet and
Dmitry Tishkovsky and
Frank Wolter and
Michael Zakharyaschev},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Comparative Similarity, Tree Automata, and Diophantine Equations},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {651--665},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_45},
doi = {10.1007/11591191\_45},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/SheremetTWZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SzwastT05,
author = {Wieslaw Szwast and
Lidia Tendera},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {On the Finite Satisfiability Problem for the Guarded Fragment with
Transitivity},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {307--321},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_22},
doi = {10.1007/11591191\_22},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/SzwastT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/TabakovV05,
author = {Deian Tabakov and
Moshe Y. Vardi},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Experimental Evaluation of Classical Automata Constructions},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {396--411},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_28},
doi = {10.1007/11591191\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/TabakovV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/TangT05,
author = {Calvin Kai Fan Tang and
Eugenia Ternovska},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Model Checking Abstract State Machines with Answer Set Programming},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {443--458},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_31},
doi = {10.1007/11591191\_31},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/TangT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/TuchK05,
author = {Harvey Tuch and
Gerwin Klein},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {A Unified Memory Model for Pointers},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {474--488},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_33},
doi = {10.1007/11591191\_33},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/TuchK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/WaltherS05,
author = {Christoph Walther and
Stephan Schweitzer},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Reasoning About Incompletely Defined Programs},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {427--442},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_30},
doi = {10.1007/11591191\_30},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/WaltherS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/WangIGG05,
author = {Chao Wang and
Franjo Ivancic and
Malay K. Ganai and
Aarti Gupta},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Deciding Separation Logic Formulae by {SAT} and Incremental Negative
Cycle Elimination},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {322--336},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_23},
doi = {10.1007/11591191\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/WangIGG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/WuPR05,
author = {Yao Wu and
Enrico Pontelli and
Desh Ranjan},
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Computational Issues in Exploiting Dependent And-Parallelism in Logic
Programming: Leftness Detection in Dynamic Search Trees},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
pages = {79--94},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191\_7},
doi = {10.1007/11591191\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/WuPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2005,
editor = {Geoff Sutcliffe and
Andrei Voronkov},
title = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th
International Conference, {LPAR} 2005, Montego Bay, Jamaica, December
2-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3835},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11591191},
doi = {10.1007/11591191},
isbn = {3-540-30553-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/2005.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.
retrieved on 2025-01-06 03:59 CET 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:
