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/lpar92.bht:"
download as .bib file
@inproceedings{DBLP:conf/lpar/AlexandreBFQ92,
author = {Francis Alexandre and
Khaled Bsa{\"{\i}}es and
Jean{-}Pierre Finance and
Alain Qu{\'{e}}r{\'{e}}},
editor = {Andrei Voronkov},
title = {Spes: {A} System for Logic Program Transformation},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {445--447},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013082},
doi = {10.1007/BFB0013082},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AlexandreBFQ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AndreoliP92,
author = {Jean{-}Marc Andreoli and
Remo Pareschi},
editor = {Andrei Voronkov},
title = {Linear Objects: a Logic Framework for Open System Programming},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {448--450},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013083},
doi = {10.1007/BFB0013083},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AndreoliP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AntimirovD92,
author = {Valentin M. Antimirov and
Anatoli Degtyarev},
editor = {Andrei Voronkov},
title = {Consistency of Equational Enrichments},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {293--402},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013077},
doi = {10.1007/BFB0013077},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AntimirovD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BaazF92,
author = {Matthias Baaz and
Christian G. Ferm{\"{u}}ller},
editor = {Andrei Voronkov},
title = {Resolution for Many-Valued Logics},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {107--118},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013053},
doi = {10.1007/BFB0013053},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BaazF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BachmairG92,
author = {Leo Bachmair and
Harald Ganzinger},
editor = {Andrei Voronkov},
title = {Non-Clausal Resolution and Superposition with Selection and Redundancy
Criteria},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {273--284},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013068},
doi = {10.1007/BFB0013068},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BachmairG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BaiB92,
author = {Mino Bai and
Howard A. Blair},
editor = {Andrei Voronkov},
title = {General Model Theoretic Semantics for Higher-Order Horn Logic Programming},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {320--331},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013072},
doi = {10.1007/BFB0013072},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BaiB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BakerIS92,
author = {Siani Baker and
Andrew Ireland and
Alan Smaill},
editor = {Andrei Voronkov},
title = {On the Use of the Constructive Omega-Rule within Automated Deduction},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {214--225},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013063},
doi = {10.1007/BFB0013063},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BakerIS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Baral92,
author = {Chitta Baral},
editor = {Andrei Voronkov},
title = {Generalized Negation As Failure and Semantics of Normal Disjunctive
Logic Programs},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {309--319},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013071},
doi = {10.1007/BFB0013071},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Baral92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BauerH92,
author = {Bernhard Bauer and
Rolf Hennicker},
editor = {Andrei Voronkov},
title = {{ISAR:} An Interactive System for Algebraic Implementation Proofs},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {451--453},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013084},
doi = {10.1007/BFB0013084},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BauerH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Baumgartner92,
author = {Peter Baumgartner},
editor = {Andrei Voronkov},
title = {An Order Theory Resolution Calculus},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {119--130},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013054},
doi = {10.1007/BFB0013054},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/Baumgartner92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Beeson92,
author = {Michael Beeson},
editor = {Andrei Voronkov},
title = {Mathpert: Computer Support for Learning Algebra, Trig, and Calculus},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {454--456},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013085},
doi = {10.1007/BFB0013085},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Beeson92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BoccaDF92,
author = {Jorge B. Bocca and
Michael Dahmen and
Michael Freeston},
editor = {Andrei Voronkov},
title = {MegaLog - {A} Platform for Developing Knowledge Base Management Systems},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {457--459},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013086},
doi = {10.1007/BFB0013086},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BoccaDF92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BouhoulaKR92,
author = {Adel Bouhoula and
Emmanuel Kounalis and
Micha{\"{e}}l Rusinowitch},
editor = {Andrei Voronkov},
title = {SPIKE, an Automatic Theorem Prover},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {460--462},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013087},
doi = {10.1007/BFB0013087},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BouhoulaKR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BowenB92,
author = {James Bowen and
Dennis R. Bahler},
editor = {Andrei Voronkov},
title = {Free Logic and Infinite Constraint Networks},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {54--65},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013048},
doi = {10.1007/BFB0013048},
timestamp = {Sat, 19 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/BowenB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BryantP92,
author = {Barrett R. Bryant and
Aiqin Pan},
editor = {Andrei Voronkov},
title = {Two-Level Grammar: {A} Funtional/Logic Query Language for Database
and Knowledge-Base Systems},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {78--83},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013050},
doi = {10.1007/BFB0013050},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BryantP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Curzon92,
author = {Paul Curzon},
editor = {Andrei Voronkov},
title = {A Programming Logic for a Verified Structured Assembly Language},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {403--408},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013078},
doi = {10.1007/BFB0013078},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/Curzon92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Dafa92,
author = {Li Dafa},
editor = {Andrei Voronkov},
title = {An Application to Teaching in Logic Course of {ATP} Based Natural
Deduction},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {463--465},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013088},
doi = {10.1007/BFB0013088},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Dafa92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Dawson92,
author = {Mark Dawson},
editor = {Andrei Voronkov},
title = {A Generic Logic Environment},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {466--468},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013089},
doi = {10.1007/BFB0013089},
timestamp = {Tue, 26 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/Dawson92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DorochevskyLRSV92,
author = {Michel Dorochevsky and
Liang{-}Liang Li and
Mike Reeve and
Kees Schuerman and
Andr{\'{e}} V{\'{e}}ron},
editor = {Andrei Voronkov},
title = {ElipSys - {A} Parallel Programming System based on Logic},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {469--471},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013090},
doi = {10.1007/BFB0013090},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DorochevskyLRSV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Ducasse92,
author = {Mireille Ducass{\'{e}}},
editor = {Andrei Voronkov},
title = {Opium - {A} High-level Debugging Environment},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {472--474},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013091},
doi = {10.1007/BFB0013091},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Ducasse92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Egly92,
author = {Uwe Egly},
editor = {Andrei Voronkov},
title = {Shortening Proofs by Quantifier Introduction},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {148--159},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013057},
doi = {10.1007/BFB0013057},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Egly92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Ertel92,
author = {Wolfgang Ertel},
editor = {Andrei Voronkov},
title = {OR-Parallel Theorem Proving with Random Competition},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {226--237},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013064},
doi = {10.1007/BFB0013064},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Ertel92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FernandezM92,
author = {Jos{\'{e}} Alberto Fern{\'{a}}ndez and
Jack Minker},
editor = {Andrei Voronkov},
title = {Disjunctive Deductive Databases},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {332--356},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013073},
doi = {10.1007/BFB0013073},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/FernandezM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FisherO92,
author = {Michael Fisher and
Richard Owens},
editor = {Andrei Voronkov},
title = {From the Past to the Future: Executing Temporal Logic Programs},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {369--380},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013075},
doi = {10.1007/BFB0013075},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/FisherO92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FrausH92,
author = {Ulrich Fraus and
Heinrich Hu{\ss}mann},
editor = {Andrei Voronkov},
title = {An Inductive Theorem Prover Based on Narrowing},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {475--477},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013092},
doi = {10.1007/BFB0013092},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/FrausH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Freitag92,
author = {Burkhard Freitag},
editor = {Andrei Voronkov},
title = {Extending Deductive Database Languages by Embedded Implications},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {84--95},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013051},
doi = {10.1007/BFB0013051},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Freitag92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GaasterlandGMN92,
author = {Terry Gaasterland and
Parke Godfrey and
Jack Minker and
Lev Novik},
editor = {Andrei Voronkov},
title = {A Cooperative Answering System},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {478--480},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013093},
doi = {10.1007/BFB0013093},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GaasterlandGMN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GabbrielliLT92,
author = {Maurizio Gabbrielli and
Giorgio Levi and
Daniele Turi},
editor = {Andrei Voronkov},
title = {A Two Steps Semantics for Logic Programs with Negation},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {297--308},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013070},
doi = {10.1007/BFB0013070},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GabbrielliLT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GalmicheP92,
author = {Didier Galmiche and
Guy Perrier},
editor = {Andrei Voronkov},
title = {A Procedure for Automatic Proof Nets Construction},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {42--53},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013047},
doi = {10.1007/BFB0013047},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GalmicheP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Gramlich92,
author = {Bernhard Gramlich},
editor = {Andrei Voronkov},
title = {Relating Innermost, Weak, Uniform and Modular Termination of Term
Rewriting Systems},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {285--296},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013069},
doi = {10.1007/BFB0013069},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Gramlich92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HarlandP92,
author = {James Harland and
David J. Pym},
editor = {Andrei Voronkov},
title = {On Resolution in Fragments of Classical Linear Logic},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {30--41},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013046},
doi = {10.1007/BFB0013046},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HarlandP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Hausman92,
author = {Bogumil Hausman},
editor = {Andrei Voronkov},
title = {Towards Using the Andorra Kernel Language for Industrial Real-Time
Applications},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {250--260},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013066},
doi = {10.1007/BFB0013066},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Hausman92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Holldobler92,
author = {Steffen H{\"{o}}lldobler},
editor = {Andrei Voronkov},
title = {On Deductive Planning and the Frame Problem},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {13--29},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013045},
doi = {10.1007/BFB0013045},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Holldobler92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Ireland92,
author = {Andrew Ireland},
editor = {Andrei Voronkov},
title = {The Use of Planning Critics in Mechanizing Inductive Proofs},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {178--189},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013060},
doi = {10.1007/BFB0013060},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Ireland92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KoN92,
author = {Hai{-}Ping Ko and
Mark E. Nadel},
editor = {Andrei Voronkov},
title = {Elementary Lower Bounds for th Length of Refutations},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {137--147},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013056},
doi = {10.1007/BFB0013056},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KoN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Kohlhase92,
author = {Michael Kohlhase},
editor = {Andrei Voronkov},
title = {Unification in Order-Sorted Type Theory},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {421--432},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013080},
doi = {10.1007/BFB0013080},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/Kohlhase92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/LeachN92,
author = {Javier Leach and
Susana Nieva},
editor = {Andrei Voronkov},
title = {{MIZ-PR:} {A} Theorem Prover for Polymorphic and Recursive Functions},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {481--483},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013094},
doi = {10.1007/BFB0013094},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/LeachN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Lusk92,
author = {Ewing L. Lusk},
editor = {Andrei Voronkov},
title = {Controlling Redundancy in Large Search Spaces: Argonne-Style Theorem
Proving Through the Years},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {96--106},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013052},
doi = {10.1007/BFB0013052},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Lusk92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ManouryPS92,
author = {Pascal Manoury and
Michel Parigot and
Marianne Simonot},
editor = {Andrei Voronkov},
title = {ProPre {A} Programming Language with Proofs},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {484--486},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013095},
doi = {10.1007/BFB0013095},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/ManouryPS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MarrtinM92,
author = {Julio Garc{\'{\i}}a Marrt{\'{\i}}n and
Juan Jos{\'{e}} Moreno{-}Navarro},
editor = {Andrei Voronkov},
title = {{FRIENDLY-WAM:} An Interactive Tool to Understand the Compilation
of {PROLOG}},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {487--489},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013096},
doi = {10.1007/BFB0013096},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MarrtinM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/McCuneW92,
author = {William McCune and
Larry Wos},
editor = {Andrei Voronkov},
title = {Application of Automated Deduction to the Search for Single Axioms
for Exponent Groups},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {131--136},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013055},
doi = {10.1007/BFB0013055},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/McCuneW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Meier92,
author = {Micha Meier},
editor = {Andrei Voronkov},
title = {{SEPIA} - a Bases for Prolog Extensions},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {490--492},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013097},
doi = {10.1007/BFB0013097},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Meier92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Millroth92,
author = {H{\aa}kan Millroth},
editor = {Andrei Voronkov},
title = {Reform Compilation for Nonlinear Recursion},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {160--171},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013058},
doi = {10.1007/BFB0013058},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Millroth92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Neumerkel92,
author = {Ulrich Neumerkel},
editor = {Andrei Voronkov},
title = {Pruning Infinite Failure Branches in Programs with Occur-Check},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {172--177},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013059},
doi = {10.1007/BFB0013059},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Neumerkel92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Nilsson92,
author = {Hans Nilsson},
editor = {Andrei Voronkov},
title = {The External Database in SICStus Prolog},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {493--495},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013098},
doi = {10.1007/BFB0013098},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Nilsson92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Noye92,
author = {Jacques Noy{\'{e}}},
editor = {Andrei Voronkov},
title = {The {KCM} System: Speeding-up Logic Programming through Hardware Support},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {496--498},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013099},
doi = {10.1007/BFB0013099},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Noye92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Parigot92,
author = {Michel Parigot},
editor = {Andrei Voronkov},
title = {Lambda-Mu-Calculus: An Algorithmic Interpretation of Classical Natural
Deduction},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {190--201},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013061},
doi = {10.1007/BFB0013061},
timestamp = {Tue, 22 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Parigot92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/PrzymusinskaPS92,
author = {Halina Przymusinska and
Teodor C. Przymusinski and
Hirohisa Seki},
editor = {Andrei Voronkov},
title = {Soundness and Completeness of Partial Deductions for Well-Founded
Semantics},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {1--12},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013044},
doi = {10.1007/BFB0013044},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/PrzymusinskaPS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Ringeissen92,
author = {Christophe Ringeissen},
editor = {Andrei Voronkov},
title = {Unification in a Combination of Equational Theories with Shared Constants
and its Application to Primal Algebras},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {261--272},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013067},
doi = {10.1007/BFB0013067},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Ringeissen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Romanenko92,
author = {Igor Romanenko},
editor = {Andrei Voronkov},
title = {Logican's Workbench},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {499--500},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013100},
doi = {10.1007/BFB0013100},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Romanenko92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Salzer92,
author = {Gernot Salzer},
editor = {Andrei Voronkov},
title = {The Unification of Infinite Sets of Terms and Its Applications},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {409--420},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013079},
doi = {10.1007/BFB0013079},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/Salzer92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Sattler-Klein92,
author = {Andrea Sattler{-}Klein},
editor = {Andrei Voronkov},
title = {Infinite, Canonical String Rewriting Systems Generated by Completion},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {433--444},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013081},
doi = {10.1007/BFB0013081},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Sattler-Klein92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SawamuraMO92,
author = {Hajime Sawamura and
Toshiro Minami and
Kyoko Ohashi},
editor = {Andrei Voronkov},
title = {{EUODHILOS:} {A} General Reasoning System for a Variety of Logics},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {501--503},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013101},
doi = {10.1007/BFB0013101},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/SawamuraMO92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Suttner92,
author = {Christian B. Suttner},
editor = {Andrei Voronkov},
title = {Parallel Computation of Multiple Sets-of{\_}Support},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {238--249},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013065},
doi = {10.1007/BFB0013065},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Suttner92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/TourK92,
author = {Thierry Boy de la Tour and
Christoph Kreitz},
editor = {Andrei Voronkov},
title = {Building Proofs by Analogy via the Curry-Horward Isomorphism},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {202--213},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013062},
doi = {10.1007/BFB0013062},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/TourK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/VieilleBKLM92,
author = {Laurent Vieille and
Petra Bayer and
Volker K{\"{u}}chenhoff and
Alexandre Lefebvre and
Rainer Manthey},
editor = {Andrei Voronkov},
title = {The {EKS-V1} System},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {504--506},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013102},
doi = {10.1007/BFB0013102},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/VieilleBKLM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Voinov92,
author = {Alexander V. Voinov},
editor = {Andrei Voronkov},
title = {Netlog - {A} Concept Oriented Logic Programming Language},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {357--368},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013074},
doi = {10.1007/BFB0013074},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Voinov92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/WallaceP92,
author = {Mark Wallace and
Thierry Le Provost},
editor = {Andrei Voronkov},
title = {{CHIP} and Propia},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {507--509},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013103},
doi = {10.1007/BFB0013103},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/WallaceP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Walther92,
author = {Christoph Walther},
editor = {Andrei Voronkov},
title = {Computing Induction Axioms},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {381--392},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013076},
doi = {10.1007/BFB0013076},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Walther92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Wuthrich92,
author = {Beat W{\"{u}}thrich},
editor = {Andrei Voronkov},
title = {Towards Probabilistic Knowledge Bases},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {66--77},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013049},
doi = {10.1007/BFB0013049},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Wuthrich92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/1992,
editor = {Andrei Voronkov},
title = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013043},
doi = {10.1007/BFB0013043},
isbn = {3-540-55727-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/1992.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-27 12:54 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:
