Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/lpar/AlbertHV00,
  author       = {Elvira Albert and
                  Michael Hanus and
                  Germ{\'{a}}n Vidal},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {Using an Abstract Representation to Specialize Functional Logic Programs},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {381--398},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_24},
  doi          = {10.1007/3-540-44404-1\_24},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/AlbertHV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/BaazCZ00,
  author       = {Matthias Baaz and
                  Agata Ciabattoni and
                  Richard Zach},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {Quantified Propositional G{\"{o}}del Logics},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {240--256},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_16},
  doi          = {10.1007/3-540-44404-1\_16},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BaazCZ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/BagnaraHZ00,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Enea Zaffanella},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {Efficient Structural Information Analysis for Real {CLP} Languages},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {189--206},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_13},
  doi          = {10.1007/3-540-44404-1\_13},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BagnaraHZ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/BartheS00,
  author       = {Gilles Barthe and
                  Bernard P. Serpette},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {Static Reduction Analysis for Imperative Object Oriented Languages},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {344--361},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_22},
  doi          = {10.1007/3-540-44404-1\_22},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BartheS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Canovas-DumasC00,
  author       = {C{\'{e}}cile Canovas{-}Dumas and
                  Paul Caspi},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {A {PVS} Proof Obligation Generator for Lustre Programs},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {179--188},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_12},
  doi          = {10.1007/3-540-44404-1\_12},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Canovas-DumasC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Courcelle00,
  author       = {Bruno Courcelle},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {Graph Operations and Monadic Second-Order Logic: {A} Survey},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {20--24},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_2},
  doi          = {10.1007/3-540-44404-1\_2},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Courcelle00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Delahaye00,
  author       = {David Delahaye},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {A Tactic Language for the System Coq},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {85--95},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_7},
  doi          = {10.1007/3-540-44404-1\_7},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Delahaye00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/EiterG00,
  author       = {Thomas Eiter and
                  Georg Gottlob},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {On the Complexity of Theory Curbing},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {1--19},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_1},
  doi          = {10.1007/3-540-44404-1\_1},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/EiterG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/FermullerM00,
  author       = {Christian G. Ferm{\"{u}}ller and
                  Georg Moser},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {Have Spass with OCC1N\({}_{\mbox{g}}\)\({}^{\mbox{=}}\)},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {114--130},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_9},
  doi          = {10.1007/3-540-44404-1\_9},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/FermullerM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Gori00,
  author       = {Roberta Gori},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {An Abstract Interpretation Approach to Termination of Logic Programs},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {362--380},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_23},
  doi          = {10.1007/3-540-44404-1\_23},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Gori00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Gradel00,
  author       = {Erich Gr{\"{a}}del},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {Efficient Evaluation Methods for Guarded Logics and Datalog {LITE}},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {417},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_26},
  doi          = {10.1007/3-540-44404-1\_26},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Gradel00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/GrecoZ00,
  author       = {Sergio Greco and
                  Ester Zumpano},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {Querying Inconsistent Databases},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {308--325},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_20},
  doi          = {10.1007/3-540-44404-1\_20},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/GrecoZ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/GrieskampL00,
  author       = {Wolfgang Grieskamp and
                  Markus Lepper},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {Encoding Temporal Logics in Executable {Z:} {A} Case Study for the
                  {ZETA} System},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {43--53},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_4},
  doi          = {10.1007/3-540-44404-1\_4},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/GrieskampL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Groote00,
  author       = {Philippe de Groote},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {Proof-Search in Implicative Linear Logic as a Matching Problem},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {257--274},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_17},
  doi          = {10.1007/3-540-44404-1\_17},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Groote00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/GrooteP00,
  author       = {Jan Friso Groote and
                  Jaco van de Pol},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {Equational Binary Decision Diagrams},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {161--178},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_11},
  doi          = {10.1007/3-540-44404-1\_11},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpar/GrooteP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/HallgrenR00,
  author       = {Thomas Hallgren and
                  Aarne Ranta},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {An Extensible Proof Text Editor},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {70--84},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_6},
  doi          = {10.1007/3-540-44404-1\_6},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/HallgrenR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/HolldoblerK00,
  author       = {Steffen H{\"{o}}lldobler and
                  Dietrich Kuske},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {The Boundary between Decidable and Undecidable Fragments of the Fluent
                  Calculus},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {436--450},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_28},
  doi          = {10.1007/3-540-44404-1\_28},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/HolldoblerK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/HorrocksSTT00,
  author       = {Ian Horrocks and
                  Ulrike Sattler and
                  Sergio Tessaris and
                  Stephan Tobies},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {How to Decide Query Containment Under Constraints Using a Description
                  Logic},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {326--343},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_21},
  doi          = {10.1007/3-540-44404-1\_21},
  timestamp    = {Tue, 12 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/HorrocksSTT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/JacquemardRV00,
  author       = {Florent Jacquemard and
                  Micha{\"{e}}l Rusinowitch and
                  Laurent Vigneron},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {Compiling and Verifying Security Protocols},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {131--160},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_10},
  doi          = {10.1007/3-540-44404-1\_10},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/JacquemardRV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/KoshimuraH00,
  author       = {Miyuki Koshimura and
                  Ryuzo Hasegawa},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {Proof Simplification for Model Generation and Its Applications},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {96--113},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_8},
  doi          = {10.1007/3-540-44404-1\_8},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/KoshimuraH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Lasota00,
  author       = {Slawomir Lasota},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {Behavioural Constructor Implementation for Regular Algebras},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {54--69},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_5},
  doi          = {10.1007/3-540-44404-1\_5},
  timestamp    = {Wed, 06 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpar/Lasota00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/LehmannL00,
  author       = {Helko Lehmann and
                  Michael Leuschel},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {Solving Planning Problems by Partial Deduction},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {451--468},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_29},
  doi          = {10.1007/3-540-44404-1\_29},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/LehmannL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/LoddoC00,
  author       = {Jean{-}Vincent Loddo and
                  Roberto Di Cosmo},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {Playing Logic Programs with the Alpha-Beta Algorithm},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {207--224},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_14},
  doi          = {10.1007/3-540-44404-1\_14},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/LoddoC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/MarionM00,
  author       = {Jean{-}Yves Marion and
                  Jean{-}Yves Moyen},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {Efficient First Order Functional Program Interpreter with Time Bound
                  Certifications},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {25--42},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_3},
  doi          = {10.1007/3-540-44404-1\_3},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/MarionM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/PelovMD00,
  author       = {Nikolay Pelov and
                  Emmanuel De Mot and
                  Marc Denecker},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {Logic Programming Approaches for Representing and Solving Constraint
                  Satisfaction Problems: {A} Comparison},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {225--239},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_15},
  doi          = {10.1007/3-540-44404-1\_15},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/PelovMD00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Sefranek00,
  author       = {J{\'{a}}n Sefr{\'{a}}nek},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {A Kripkean Semantics for Dynamic Logic Programming},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {469--486},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_30},
  doi          = {10.1007/3-540-44404-1\_30},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Sefranek00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Spreen00,
  author       = {Dieter Spreen},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {A New Model Construction for the Polymorphic Lambda Calculus},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {275--292},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_18},
  doi          = {10.1007/3-540-44404-1\_18},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Spreen00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Statman00,
  author       = {Richard Statman},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {Church's Lambda Delta Calculus},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {293--307},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_19},
  doi          = {10.1007/3-540-44404-1\_19},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Statman00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Talbot00,
  author       = {Jean{-}Marc Talbot},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {On the Alternation-Free Horn Mu-calculus},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {418--435},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_27},
  doi          = {10.1007/3-540-44404-1\_27},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Talbot00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/Vanhoof00,
  author       = {Wim Vanhoof},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {Binding-Time Analysis by Constraint Solving. {A} Modular and Higher-Order
                  Approach for Mercury},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {399--416},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_25},
  doi          = {10.1007/3-540-44404-1\_25},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/Vanhoof00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lpar/2000,
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1},
  doi          = {10.1007/3-540-44404-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/2000.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.