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/lpar2003.bht:"
download as .bib file
@inproceedings{DBLP:conf/lpar/AutexierS03,
author = {Serge Autexier and
Carsten Sch{\"{u}}rmann},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Disproving False Conjectures},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {33--48},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_2},
doi = {10.1007/978-3-540-39813-4\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AutexierS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BaaderHLW03,
author = {Franz Baader and
Jan Hladik and
Carsten Lutz and
Frank Wolter},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {From Tableaux to Automata for Description Logics},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {1--32},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_1},
doi = {10.1007/978-3-540-39813-4\_1},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/BaaderHLW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BaazF03,
author = {Matthias Baaz and
Christian G. Ferm{\"{u}}ller},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {A Translation Characterizing the Constructive Content of Classical
Theories},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {107--121},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_7},
doi = {10.1007/978-3-540-39813-4\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BaazF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Badaev03,
author = {Serikzhan A. Badaev},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Computable Numberings},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {213},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_14},
doi = {10.1007/978-3-540-39813-4\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Badaev03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BeierleK03,
author = {Christoph Beierle and
Gabriele Kern{-}Isberner},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {A Logical Study on Qualitative Default Reasoning with Probabilities},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {376--388},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_27},
doi = {10.1007/978-3-540-39813-4\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BeierleK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BerwangerGK03,
author = {Dietmar Berwanger and
Erich Gr{\"{a}}del and
Stephan Kreutzer},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Once upon a Time in a West - Determinacy, Definability, and Complexity
of Path Games},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {229--243},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_16},
doi = {10.1007/978-3-540-39813-4\_16},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BerwangerGK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BrandtTK03,
author = {Sebastian Brandt and
Anni{-}Yasmin Turhan and
Ralf K{\"{u}}sters},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Extensions of Non-standard Inferences to Descriptions Logics with
Transitive Roles},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {122--136},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_8},
doi = {10.1007/978-3-540-39813-4\_8},
timestamp = {Thu, 28 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/BrandtTK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BruscoliG03,
author = {Paola Bruscoli and
Alessio Guglielmi},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {On Structuring Proof Search for First Order Linear Logic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {389--406},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_28},
doi = {10.1007/978-3-540-39813-4\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BruscoliG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CiaffaglioneLM03,
author = {Alberto Ciaffaglione and
Luigi Liquori and
Marino Miculan},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Imperative Object-Based Calculi in Co-inductive Type Theories},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {59--77},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_4},
doi = {10.1007/978-3-540-39813-4\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/CiaffaglioneLM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CouvreurSS03,
author = {Jean{-}Michel Couvreur and
Nasser Saheb and
Gr{\'{e}}goire Sutre},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {An Optimal Automata Approach to {LTL} Model Checking of Probabilistic
Systems},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {361--375},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_26},
doi = {10.1007/978-3-540-39813-4\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CouvreurSS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FranzleH03,
author = {Martin Fr{\"{a}}nzle and
Christian Herde},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Efficient {SAT} Engines for Concise Logics: Accelerating Proof Search
for Zero-One Linear Constraint Systems},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {302--316},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_22},
doi = {10.1007/978-3-540-39813-4\_22},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/FranzleH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GalmicheN03,
author = {Didier Galmiche and
J.{-}M. Notin},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Connection-Based Proof Construction in Non-commutative Logic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {422--436},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_30},
doi = {10.1007/978-3-540-39813-4\_30},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GalmicheN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GhilardiS03,
author = {Silvio Ghilardi and
Luigi Santocanale},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Algebraic and Model Theoretic Techniques for Fusion Decidability in
Modal Logics},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {152--166},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_10},
doi = {10.1007/978-3-540-39813-4\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GhilardiS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GieslTSF03,
author = {J{\"{u}}rgen Giesl and
Ren{\'{e}} Thiemann and
Peter Schneider{-}Kamp and
Stephan Falke},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Improving Dependency Pairs},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {167--182},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_11},
doi = {10.1007/978-3-540-39813-4\_11},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GieslTSF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Heinemann03,
author = {Bernhard Heinemann},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Extended Canonicity of Certain Topological Properties of Set Spaces},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {137--151},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_9},
doi = {10.1007/978-3-540-39813-4\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Heinemann03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HonsellLR03,
author = {Furio Honsell and
Marina Lenisa and
Rekha Redamalla},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Strict Geometry of Interaction Graph Models},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {407--421},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_29},
doi = {10.1007/978-3-540-39813-4\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HonsellLR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KonevDF03,
author = {Boris Konev and
Anatoli Degtyarev and
Michael Fisher},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Handling Equality in Monodic Temporal Resolution},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {214--228},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_15},
doi = {10.1007/978-3-540-39813-4\_15},
timestamp = {Tue, 20 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/KonevDF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Korovina03,
author = {Margarita V. Korovina},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Gandy's Theorem for Abstract Structures without the Equality Test},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {290--301},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_21},
doi = {10.1007/978-3-540-39813-4\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Korovina03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Kuske03,
author = {Dietrich Kuske},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Is Cantor's Theorem Automatic?},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {332--345},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_24},
doi = {10.1007/978-3-540-39813-4\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Kuske03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Lohrey03,
author = {Markus Lohrey},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Automatic Structures of Bounded Degree},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {346--360},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_25},
doi = {10.1007/978-3-540-39813-4\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Lohrey03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Martin-MateosAHR03,
author = {Francisco{-}Jes{\'{u}}s Mart{\'{\i}}n{-}Mateos and
Jos{\'{e}}{-}Antonio Alonso and
Mar{\'{\i}}a{-}Jos{\'{e}} Hidalgo and
Jos{\'{e}}{-}Luis Ruiz{-}Reina},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {A Formal Proof of Dickson's Lemma in {ACL2}},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {49--58},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_3},
doi = {10.1007/978-3-540-39813-4\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Martin-MateosAHR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Morawska03,
author = {Barbara Morawska},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Completeness of E-Unification with Eager Variable Elimination},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {198--212},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_13},
doi = {10.1007/978-3-540-39813-4\_13},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Morawska03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/NieuwenborghV03,
author = {Davy Van Nieuwenborgh and
Dirk Vermeir},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Ordered Diagnosis},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {244--258},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_17},
doi = {10.1007/978-3-540-39813-4\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/NieuwenborghV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/NieuwenhuisO03,
author = {Robert Nieuwenhuis and
Albert Oliveras},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Congruence Closure with Integer Offsets},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {78--90},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_5},
doi = {10.1007/978-3-540-39813-4\_5},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/NieuwenhuisO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/TourE03,
author = {Thierry Boy de la Tour and
Mnacho Echenim},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {NP-Completeness Results for Deductive Problems on Stratified Terms},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {317--331},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_23},
doi = {10.1007/978-3-540-39813-4\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/TourE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Verma03,
author = {Kumar Neeraj Verma},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {On Closure under Complementation of Equational Tree Automata for Theories
Extending {AC}},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {183--197},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_12},
doi = {10.1007/978-3-540-39813-4\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Verma03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/VoNF03,
author = {Quoc Bao Vo and
Abhaya C. Nayak and
Norman Y. Foo},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {A Syntax-Based Approach to Reasoning about Actions and Events},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {274--288},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_19},
doi = {10.1007/978-3-540-39813-4\_19},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/VoNF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/WakakiISN03,
author = {Toshiko Wakaki and
Katsumi Inoue and
Chiaki Sakama and
Katsumi Nitta},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Computing Preferred Answer Sets in Answer Set Programming},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {259--273},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_18},
doi = {10.1007/978-3-540-39813-4\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/WakakiISN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/WaltherS03,
author = {Christoph Walther and
Stephan Schweitzer},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {A Machine-Verified Code Generator},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {91--106},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_6},
doi = {10.1007/978-3-540-39813-4\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/WaltherS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Wilke03,
author = {Thomas Wilke},
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Minimizing Automata on Infinite Words},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
pages = {289},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39813-4\_20},
doi = {10.1007/978-3-540-39813-4\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Wilke03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2003,
editor = {Moshe Y. Vardi and
Andrei Voronkov},
title = {Logic for Programming, Artificial Intelligence, and Reasoning, 10th
International Conference, {LPAR} 2003, Almaty, Kazakhstan, September
22-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2850},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b13986},
doi = {10.1007/B13986},
isbn = {3-540-20101-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/2003.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-24 16:05 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:
