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/iclp/iclp91.bht:"
download as .bib file
@inproceedings{DBLP:conf/iclp/AggounB91,
author = {Abderrahmane Aggoun and
Nicolas Beldiceanu},
editor = {Koichi Furukawa},
title = {Overview of the {CHIP} Compiler System},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {775--789},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AggounB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Ait-Kaci91,
author = {Hassan A{\"{\i}}t{-}Kaci},
editor = {Koichi Furukawa},
title = {Warren's Abstract Machine},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {939},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Ait-Kaci91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AliK91,
author = {Khayri A. M. Ali and
Roland Karlsson},
editor = {Koichi Furukawa},
title = {Scheduling Or-Parallelism in Muse},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {807--821},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AliK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BachmairG91,
author = {Leo Bachmair and
Harald Ganzinger},
editor = {Koichi Furukawa},
title = {Perfect Model Semantics for Logic Programs with Equality},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {645--659},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BachmairG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BallanceG91,
author = {Robert A. Ballance and
Susan L. Graham},
editor = {Koichi Furukawa},
title = {Incremental Consistency Maintenance for Interactive Applications},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {895--909},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BallanceG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Bottcher91,
author = {Stefan B{\"{o}}ttcher},
editor = {Koichi Furukawa},
title = {On Transactions in Logic Programming Languages},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {889},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Bottcher91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BrissetR91,
author = {Pascal Brisset and
Olivier Ridoux},
editor = {Koichi Furukawa},
title = {Na{\"{\i}}ve Reverse Can be Linear},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {857--870},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BrissetR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CasanovaHG91,
author = {Marco A. Casanova and
Andrea S. Hemerly and
Ramiro A. de T. Guerreiro},
editor = {Koichi Furukawa},
title = {Explaining {SLDNF} Resolution with Non-Normal Defaults},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {18--31},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CasanovaHG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ChabrierPL91,
author = {Jean{-}Jacques Chabrier and
Claudine Pradelles and
Bruno Legeard},
editor = {Koichi Furukawa},
title = {Applications of Constraints Logic Programming Languages},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {944},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/ChabrierPL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CharlierMH91,
author = {Baudouin Le Charlier and
Kaninda Musumbu and
Pascal Van Hentenryck},
editor = {Koichi Furukawa},
title = {A Generic Abstract Interpretation Algorithm and its Complexity Analysis},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {64--78},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CharlierMH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ChenW91,
author = {Weidong Chen and
David Scott Warren},
editor = {Koichi Furukawa},
title = {An Intensional Logic of (Multi-Arity) Set Abstractions},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {97--110},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Wed, 15 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/ChenW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ChengRS91,
author = {Anthony S. K. Cheng and
Peter J. Robinson and
John Staples},
editor = {Koichi Furukawa},
title = {Higher Level Meta Programming in Qu-Prolog 3: 0},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {285--298},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Thu, 25 Sep 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/ChengRS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodishDY91,
author = {Michael Codish and
Dennis Dams and
Eyal Yardeni},
editor = {Koichi Furukawa},
title = {Derivation and Safety of an Abstract Unification Algorithm for Groundness
and Aliasing Analysis},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {79--93},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CodishDY91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodishFM91,
author = {Michael Codish and
Moreno Falaschi and
Kim Marriott},
editor = {Koichi Furukawa},
title = {Suspension Analysis for Concurrent Logic Programs},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {331--345},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CodishFM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodognetS91,
author = {Philippe Codognet and
Thierry Sola},
editor = {Koichi Furukawa},
title = {Extending the {WAM} for Intelligent Backtracking},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {127--141},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CodognetS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ColussiM91,
author = {Livio Colussi and
Elena Marchiori},
editor = {Koichi Furukawa},
title = {Proving Correctness of Logic Programs Using Axiomatic Semantics},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {629--642},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/ColussiM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CostaWY91,
author = {V{\'{\i}}tor Santos Costa and
David H. D. Warren and
Rong Yang},
editor = {Koichi Furukawa},
title = {The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra
Model},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {443--456},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CostaWY91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CostaWY91a,
author = {V{\'{\i}}tor Santos Costa and
David H. D. Warren and
Rong Yang},
editor = {Koichi Furukawa},
title = {The Andorra-I Engine: {A} Parallel Implementation of the Basic Andorra
Model},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {825--839},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CostaWY91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Cousot91,
author = {Patrick Cousot},
editor = {Koichi Furukawa},
title = {Abstract Interpretation of Logic Programs},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {940},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Cousot91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DebrayL91,
author = {Saumya K. Debray and
Nai{-}Wei Lin},
editor = {Koichi Furukawa},
title = {Automatic Complexity Analysis of Logic Programs},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {599--613},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DebrayL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Decker91,
author = {Hendrik Decker},
editor = {Koichi Furukawa},
title = {On Generalized Cover Axioms},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {693--707},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Decker91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DevilleSD91,
author = {Yves Deville and
Leon Sterling and
Pierre Deransart},
editor = {Koichi Furukawa},
title = {Software Development and Logic Programming},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {941},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DevilleSD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DovierOPR91,
author = {Agostino Dovier and
Eugenio G. Omodeo and
Enrico Pontelli and
Gianfranco Rossi},
editor = {Koichi Furukawa},
title = {\{log\}: {A} Logic Programming Language with Finite Sets},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {111--124},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DovierOPR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DuboisLP91,
author = {Didier Dubois and
J{\'{e}}r{\^{o}}me Lang and
Henri Prade},
editor = {Koichi Furukawa},
title = {Towards Possibilistic Logic Programming},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {581--595},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DuboisLP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Dung91,
author = {Phan Minh Dung},
editor = {Koichi Furukawa},
title = {Negations as Hypotheses: An Abductive Foundation for Logic Programming},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {3--17},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Dung91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FernandezM91,
author = {Jos{\'{e}} Alberto Fern{\'{a}}ndez and
Jack Minker},
editor = {Koichi Furukawa},
title = {Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {660--675},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/FernandezM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Ferrand91,
author = {G{\'{e}}rard Ferrand},
editor = {Koichi Furukawa},
title = {Basic Concepts of Logic Programming and Prolog},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {942},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Ferrand91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FujitaH91,
author = {Hiroshi Fujita and
Ryuzo Hasegawa},
editor = {Koichi Furukawa},
title = {A Model Generation Theorem Prover in {KL1} Using a Ramified -Stack
Algorithm},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {535--548},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Thu, 18 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/FujitaH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GabbrielliL91,
author = {Maurizio Gabbrielli and
Giorgio Levi},
editor = {Koichi Furukawa},
title = {Modeling Answer Constraints in Constraint Logic Programs},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {238--252},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/GabbrielliL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Hagiya91,
author = {Masami Hagiya},
editor = {Koichi Furukawa},
title = {Higher-Order Unification as a Theorem Proving Procedure},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {270--284},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Hagiya91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Haridi91,
author = {Seif Haridi},
editor = {Koichi Furukawa},
title = {Parallel Logic Programming based on the Andorra Principle},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {943},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Haridi91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Harland91,
author = {James Harland},
editor = {Koichi Furukawa},
title = {A Clausal Form for the Completion of Logic Programs},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {711--725},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Harland91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HarsatG91,
author = {Arie Harsat and
Ran Ginosar},
editor = {Koichi Furukawa},
title = {{CARMEL-4:} The Unify-Spawn Machine for {FCP}},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {840--854},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/HarsatG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HentenryckD91,
author = {Pascal Van Hentenryck and
Yves Deville},
editor = {Koichi Furukawa},
title = {The Cardinality Operator: {A} New Logical Connective for Constraint
Logic Programming},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {745--759},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/HentenryckD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HuY91,
author = {Yong Hu and
Li{-}Yan Yuan},
editor = {Koichi Furukawa},
title = {Extended Well-Founded Model Semantics for General Logic Programs},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {412--425},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/HuY91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Inoue91,
author = {Katsumi Inoue},
editor = {Koichi Furukawa},
title = {Extended Logic Programs with Default Assumptions},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {490--504},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Inoue91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/JayaramanN91,
author = {Bharat Jayaraman and
Gopalan Nadathur},
editor = {Koichi Furukawa},
title = {Implementation Techniques for Scoping Constructs in Logic Programming},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {871--886},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/JayaramanN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KoN91,
author = {Hai{-}Ping Ko and
Mark E. Nadel},
editor = {Koichi Furukawa},
title = {Substitution and Refutation Revisited},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {679--692},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KoN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KorslootT91,
author = {Mark Korsloot and
Evan Tick},
editor = {Koichi Furukawa},
title = {Compilation Techniques for Nondeterminate Flat Concurrent Logic Programming
Languages},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {457--471},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KorslootT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Kowalski91,
author = {Robert A. Kowalski},
editor = {Koichi Furukawa},
title = {Legislation as Logic Programs},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {910},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Kowalski91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Lever91,
author = {Jonathan M. Lever},
editor = {Koichi Furukawa},
title = {Proving Program Properties by Means of SLS-Resolution},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {614--628},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Lever91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Levi91,
author = {Giorgio Levi},
editor = {Koichi Furukawa},
title = {On the Semantics of Logic Programs},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {945},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Levi91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MansfieldTMN91,
author = {Glenn Mansfield and
Atsushi Togashi and
Nobuhisa Miake and
Shoichi Noguchi},
editor = {Koichi Furukawa},
title = {{AMLOG-E:} {A} New Approach towards Amalgamation},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {364--378},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MansfieldTMN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Marre91,
author = {Bruno Marre},
editor = {Koichi Furukawa},
title = {Toward Automatic Test Data Set Selection Using Algebraic Specifications
and Logic Programming},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {202--219},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Marre91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MatyskaJT91,
author = {Ludek Matyska and
Adriana Jergov{\'{a}} and
David Toman},
editor = {Koichi Furukawa},
title = {Register Allocation in {WAM}},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {142--156},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MatyskaJT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Meier91,
author = {Micha Meier},
editor = {Koichi Furukawa},
title = {Recursion versus Iteration in Prolog},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {157--169},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Meier91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MigaultRC91,
author = {Bernard Migault and
Fran{\c{c}}ois Rousselot and
Laurent Cervoni},
editor = {Koichi Furukawa},
title = {Prolog as a Host Language},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {890},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MigaultRC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Miller91,
author = {Dale Miller},
editor = {Koichi Furukawa},
title = {Unification of Simply Typed Lamda-Terms as Logic Programming},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {255--269},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Miller91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Miller91a,
author = {Dale Miller},
editor = {Koichi Furukawa},
title = {Logics for Logic Programming: {A} Tutorial},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {911},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Miller91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Monin91,
author = {Jean{-}Fran{\c{c}}ois Monin},
editor = {Koichi Furukawa},
title = {Real-size Compiler Writing Using Prolog with Arrows},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {188--201},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Monin91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MontanariR91,
author = {Ugo Montanari and
Francesca Rossi},
editor = {Koichi Furukawa},
title = {Perfect Relaxation in Constraint Logic Programming},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {223--237},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MontanariR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MoscowitzS91,
author = {Yael Moscowitz and
Ehud Shapiro},
editor = {Koichi Furukawa},
title = {Lexical Logic Programs},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {349--363},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Thu, 04 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MoscowitzS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Mudambi91,
author = {Shyam Mudambi},
editor = {Koichi Furukawa},
title = {Performances of Aurora on {NUMA} Machines},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {793--806},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Mudambi91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MuthukumarH91,
author = {Kalyan Muthukumar and
Manuel V. Hermenegildo},
editor = {Koichi Furukawa},
title = {Combined Determination of Sharing and Freeness of Program Variables
through Abstract Interpretation},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {49--63},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MuthukumarH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NgS91,
author = {Raymond T. Ng and
V. S. Subrahmanian},
editor = {Koichi Furukawa},
title = {A Semantical Framework for Supporting Subjective and Conditional Probabilities
in Deductive Databases},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {565--580},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/NgS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PalmerN91,
author = {Doug Palmer and
Lee Naish},
editor = {Koichi Furukawa},
title = {NUA-Prolog: An Extension to the {WAM} for Parallel Andorra},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {429--442},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/PalmerN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PereiraAA91,
author = {Lu{\'{\i}}s Moniz Pereira and
Joaquim Nunes Apar{\'{\i}}cio and
Jos{\'{e}} J{\'{u}}lio Alferes},
editor = {Koichi Furukawa},
title = {Nonmonotonic Reasoning with Well Founded Semantics},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {475--489},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/PereiraAA91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PierroMP91,
author = {Alessandra Di Pierro and
Maurizio Martelli and
Catuscia Palamidessi},
editor = {Koichi Furukawa},
title = {Negation as Instantitation: {A} New Rule for the Treatment of Negation
in Logic Programming},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {32--45},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/PierroMP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Porto91,
author = {Ant{\'{o}}nio Porto},
editor = {Koichi Furukawa},
title = {Logic Programming Environments},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {946},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Porto91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Przymusinski91,
author = {Teodor C. Przymusinski},
editor = {Koichi Furukawa},
title = {Well-Founded Completions of Logic Programs},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {726--741},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Przymusinski91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PuchhammerS91,
author = {M. Puchhammer and
R. Schl{\"{o}}glhofer},
editor = {Koichi Furukawa},
title = {A Rule-oriented {FSM} Design System with Prototyping Capabilities},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {891},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/PuchhammerS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Reintjes91,
author = {Peter B. Reintjes},
editor = {Koichi Furukawa},
title = {A Set of Tools for {VHDL} Design},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {549--562},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Reintjes91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Robinet91,
author = {Bernard J. Robinet},
editor = {Koichi Furukawa},
title = {Logic Programming at {IBM:} From the Lab to the Customer},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {912--921},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Robinet91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RollinsW91,
author = {Eugene J. Rollins and
Jeannette M. Wing},
editor = {Koichi Furukawa},
title = {Specifications as Search Keys for Software Libraries},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {173--187},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/RollinsW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RossS91,
author = {Brian J. Ross and
Alan Smaill},
editor = {Koichi Furukawa},
title = {An Algebraic Semantics of Prolog Program Termination},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {316--330},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/RossS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Saint-Dizier91,
author = {Patrick Saint{-}Dizier},
editor = {Koichi Furukawa},
title = {Logic Programming for Language Processing},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {947},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Saint-Dizier91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Sato91,
author = {Taisuke Sato},
editor = {Koichi Furukawa},
title = {Full First Order Logic Programming and Truth Predicate},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {948},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Sato91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SatohI91,
author = {Ken Satoh and
Noboru Iwayama},
editor = {Koichi Furukawa},
title = {Computing Abduction by Using the {TMS}},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {505--518},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SatohI91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Scowen91,
author = {Roger S. Scowen},
editor = {Koichi Furukawa},
title = {An Overview of Prolog Standardization - Progress, Problems and Solutions},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {922--936},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Mon, 21 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Scowen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Smith91,
author = {Donald A. Smith},
editor = {Koichi Furukawa},
title = {Constraint Operations for {CLP(FT)}},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {760--774},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Smith91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Taki91,
author = {Kazuo Taki},
editor = {Koichi Furukawa},
title = {Parallel Programming and Large-scale Applications in the {FGCS} Project},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {949},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Taki91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Turi91,
author = {Daniele Turi},
editor = {Koichi Furukawa},
title = {Extending S-Models to Logic Programs with Negation},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {397--411},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Turi91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/VerschaetseS91,
author = {Kristof Verschaetse and
Danny De Schreye},
editor = {Koichi Furukawa},
title = {Deriving Termination Proofs for Logic Programs, Using Abstract Procedures},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {301--315},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/VerschaetseS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/WatanabeK91,
author = {Toshinori Watanabe and
Keiko Komatsu},
editor = {Koichi Furukawa},
title = {Co-operative Hierarchical Layout Problem Solver on Parallel Inference
Machine},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {892},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/WatanabeK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Yap91,
author = {Roland H. C. Yap},
editor = {Koichi Furukawa},
title = {Restriction Site Mapping in {CLP(R)}},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {521--534},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Yap91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/YardeniFS91,
author = {Eyal Yardeni and
Thom W. Fr{\"{u}}hwirth and
Ehud Shapiro},
editor = {Koichi Furukawa},
title = {Polymorphically Typed Logic Programs},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {379--393},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Thu, 04 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/YardeniFS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1991,
editor = {Koichi Furukawa},
title = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
publisher = {{MIT} Press},
year = {1991},
isbn = {0-262-56058-5},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/1991.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-30 12:10 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:
