Search dblp for Publications

export results for "toc:db/conf/lpar/lpar2002.bht:"

 download as .bib file

@inproceedings{DBLP:conf/lpar/AlpuenteEGL02,
  author       = {Mar{\'{\i}}a Alpuente and
                  Santiago Escobar and
                  Bernhard Gramlich and
                  Salvador Lucas},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {Improving On-Demand Strategy Annotations},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_1},
  doi          = {10.1007/3-540-36078-6\_1},
  timestamp    = {Tue, 10 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpar/AlpuenteEGL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/AptV02,
  author       = {Krzysztof R. Apt and
                  C. F. M. Vermeulen},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {First-Order Logic as a Constraint Programming Language},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {19--35},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_2},
  doi          = {10.1007/3-540-36078-6\_2},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/AptV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/AutexierH02,
  author       = {Serge Autexier and
                  Dieter Hutter},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {Maintenance of Formal Software Developments by Stratified Verification},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {36--52},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_3},
  doi          = {10.1007/3-540-36078-6\_3},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/AutexierH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Beckmann02,
  author       = {Arnold Beckmann},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {A Note on Universal Measures for Weak Implicit Computational Complexity},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {53--67},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_4},
  doi          = {10.1007/3-540-36078-6\_4},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Beckmann02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/BolligLL02,
  author       = {Benedikt Bollig and
                  Martin Leucker and
                  Philipp Lucas},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {Extending Compositional Message Sequence Graphs},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {68--85},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_5},
  doi          = {10.1007/3-540-36078-6\_5},
  timestamp    = {Wed, 02 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BolligLL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/BrotherstonDFL02,
  author       = {James Brotherston and
                  Anatoli Degtyarev and
                  Michael Fisher and
                  Alexei Lisitsa},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {Searching for Invariants Using Temporal Resolution},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {86--101},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_6},
  doi          = {10.1007/3-540-36078-6\_6},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BrotherstonDFL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/CastelliniS02,
  author       = {Claudio Castellini and
                  Alan Smaill},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {Proof Planning for Feature Interactions: {A} Preliminary Report},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {102--114},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_7},
  doi          = {10.1007/3-540-36078-6\_7},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/CastelliniS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/DastaniT02,
  author       = {Mehdi Dastani and
                  Leendert W. N. van der Torre},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {An Extension of BDI\({}_{\mbox{CTL}}\) with Functional Dependencies
                  and Components},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {115--129},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_8},
  doi          = {10.1007/3-540-36078-6\_8},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/DastaniT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/DowekHK02,
  author       = {Gilles Dowek and
                  Th{\'{e}}r{\`{e}}se Hardin and
                  Claude Kirchner},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {Binding Logic: Proofs and Models},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {130--144},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_9},
  doi          = {10.1007/3-540-36078-6\_9},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/DowekHK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/EdelkampL02,
  author       = {Stefan Edelkamp and
                  Peter Leven},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {Directed Automated Theorem Proving},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {145--159},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_10},
  doi          = {10.1007/3-540-36078-6\_10},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/EdelkampL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/FanY02,
  author       = {Xiaocong Fan and
                  John Yen},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {A Framework for Splitting {BDI} Agents},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {160--174},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_11},
  doi          = {10.1007/3-540-36078-6\_11},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/FanY02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/FerrariFF02,
  author       = {Mauro Ferrari and
                  Camillo Fiorentini and
                  Guido Fiorino},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {On the Complexity of Disjunction and Explicit Definability Properties
                  in Some Intermediate Logics},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {175--189},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_12},
  doi          = {10.1007/3-540-36078-6\_12},
  timestamp    = {Wed, 30 Oct 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpar/FerrariFF02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/FontaineG02,
  author       = {Pascal Fontaine and
                  E. Pascal Gribomont},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {Using BDDs with Combinations of Theories},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {190--201},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_13},
  doi          = {10.1007/3-540-36078-6\_13},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/FontaineG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Grandi02,
  author       = {Fabio Grandi},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {On Expressive Description Logics with Composition of Roles in Number
                  Restrictions},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {202--215},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_14},
  doi          = {10.1007/3-540-36078-6\_14},
  timestamp    = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Grandi02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/GrecoGTZ02,
  author       = {Gianluigi Greco and
                  Sergio Greco and
                  Irina Trubitsyna and
                  Ester Zumpano},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {Query Optimization of Disjunctive Databases with Constraints through
                  Binding Propagation},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {216--230},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_15},
  doi          = {10.1007/3-540-36078-6\_15},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/GrecoGTZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/GuglielmiS02,
  author       = {Alessio Guglielmi and
                  Lutz Stra{\ss}burger},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {A Non-commutative Extension of {MELL}},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {231--246},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_16},
  doi          = {10.1007/3-540-36078-6\_16},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/GuglielmiS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Gulle02,
  author       = {Dusan Guller},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {Procedural Semantics for Fuzzy Disjunctive Programs},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {247--261},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_17},
  doi          = {10.1007/3-540-36078-6\_17},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Gulle02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/KupfermanPV02,
  author       = {Orna Kupferman and
                  Nir Piterman and
                  Moshe Y. Vardi},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {Pushdown Specifications},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {262--277},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_18},
  doi          = {10.1007/3-540-36078-6\_18},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/KupfermanPV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Kutsia02,
  author       = {Temur Kutsia},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {Theorem Proving with Sequence Variables and Flexible Arity Symbols},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {278--291},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_19},
  doi          = {10.1007/3-540-36078-6\_19},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Kutsia02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/McIverM02,
  author       = {Annabelle McIver and
                  Carroll Morgan},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {Games, Probability and the Quantitative {\(\mathrm{\mu}\)}-Calculus
                  qM{\(\mathrm{\mu}\)}},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {292--310},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_20},
  doi          = {10.1007/3-540-36078-6\_20},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/McIverM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/NiehrenV02,
  author       = {Joachim Niehren and
                  Mateu Villaret},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {Parallelism and Tree Regular Constraints},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {311--326},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_21},
  doi          = {10.1007/3-540-36078-6\_21},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/NiehrenV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Preining02,
  author       = {Norbert Preining},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {G{\"{o}}del Logics and Cantor-Bendixon Analysis},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {327--336},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_22},
  doi          = {10.1007/3-540-36078-6\_22},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Preining02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Richardson02,
  author       = {Julian Richardson},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {A Semantics for Proof Plans with Applications to Interactive Proof
                  Planning},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {337--351},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_23},
  doi          = {10.1007/3-540-36078-6\_23},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Richardson02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Santo02,
  author       = {Jos{\'{e}} Esp{\'{\i}}rito Santo},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {An Isomorphism between a Fragment of Sequent Calculus and an Extension
                  of Natural Deduction},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {352--366},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_24},
  doi          = {10.1007/3-540-36078-6\_24},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Santo02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/SiekmannBFMP02,
  author       = {J{\"{o}}rg H. Siekmann and
                  Christoph Benzm{\"{u}}ller and
                  Armin Fiedler and
                  Andreas Meier and
                  Martin Pollet},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {Proof Development with Omega-MEGA: sqrt(2) Is Irrational},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {367--387},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_25},
  doi          = {10.1007/3-540-36078-6\_25},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/SiekmannBFMP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Strassburger02,
  author       = {Lutz Stra{\ss}burger},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {A Local System for Linear Logic},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {388--402},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_26},
  doi          = {10.1007/3-540-36078-6\_26},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Strassburger02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Strecker02,
  author       = {Martin Strecker},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {Investigating Type-Certifying Compilation with Isabelle},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {403--417},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_27},
  doi          = {10.1007/3-540-36078-6\_27},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Strecker02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/SymeG02,
  author       = {Don Syme and
                  Andrew D. Gordon},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {Automating Type Soundness Proofs via Decision Procedures and Guided
                  Reductions},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {418--434},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_28},
  doi          = {10.1007/3-540-36078-6\_28},
  timestamp    = {Mon, 14 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpar/SymeG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/TessarisH02,
  author       = {Sergio Tessaris and
                  Ian Horrocks},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {Abox Satisfiability Reduced to Terminological Reasoning in Expressive
                  Description Logics},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {435--449},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_29},
  doi          = {10.1007/3-540-36078-6\_29},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/TessarisH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/VaucheretGM02,
  author       = {Claudio Vaucheret and
                  Sergio Guadarrama and
                  Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez},
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {Fuzzy Prolog: {A} Simple General Implementation Using {CLP(R)}},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  pages        = {450--464},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6\_30},
  doi          = {10.1007/3-540-36078-6\_30},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/VaucheretGM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lpar/2002,
  editor       = {Matthias Baaz and
                  Andrei Voronkov},
  title        = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
                  International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
                  2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2514},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36078-6},
  doi          = {10.1007/3-540-36078-6},
  isbn         = {3-540-00010-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.