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/lpar90.bht:"
download as .bib file
@proceedings{DBLP:conf/lpar/1991,
editor = {Andrei Voronkov},
title = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55460-2},
doi = {10.1007/3-540-55460-2},
isbn = {3-540-55460-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BekkersU91,
author = {Yves Bekkers and
Lucien Ungaro},
editor = {Andrei Voronkov},
title = {Real-Time Memory Management for Prolog},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {1--12},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_1},
doi = {10.1007/3-540-55460-2\_1},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BekkersU91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Belmesk91,
author = {Mounira Belmesk},
editor = {Andrei Voronkov},
title = {A Process Semantics of Logic Programs},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {13--26},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_2},
doi = {10.1007/3-540-55460-2\_2},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Belmesk91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Bondarenko91,
author = {A. G. Bondarenko},
editor = {Andrei Voronkov},
title = {Abductive Systems for Non-Monotonic Reasoning},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {55--65},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_5},
doi = {10.1007/3-540-55460-2\_5},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Bondarenko91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BorgerR91,
author = {Egon B{\"{o}}rger and
Elvinia Riccobene},
editor = {Andrei Voronkov},
title = {Logical Operational Semantics of Parlog. Part {II:} Or-Parallelism},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {27--34},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_3},
doi = {10.1007/3-540-55460-2\_3},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BorgerR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BorgerR91a,
author = {Egon B{\"{o}}rger and
Dean Rosenzweig},
editor = {Andrei Voronkov},
title = {{WAM} Algebras - {A} Mathematical Study of Implementation, Part 2},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {35--54},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_4},
doi = {10.1007/3-540-55460-2\_4},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BorgerR91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Borshchev91,
author = {Vladimir B. Borshchev},
editor = {Andrei Voronkov},
title = {Properties of Algorithmic Operators},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {66--78},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_6},
doi = {10.1007/3-540-55460-2\_6},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Borshchev91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Boulanger91,
author = {Dmitri Yu. Boulanger},
editor = {Andrei Voronkov},
title = {Deep Logic Program Transformation Using Abstract Interpretation},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {79--101},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_7},
doi = {10.1007/3-540-55460-2\_7},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Boulanger91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BrogiLM91,
author = {Antonio Brogi and
Evelina Lamma and
Paola Mello},
editor = {Andrei Voronkov},
title = {Objects in a Logic Programming Framework},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {102--113},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_8},
doi = {10.1007/3-540-55460-2\_8},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BrogiLM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BryMM91,
author = {Fran{\c{c}}ois Bry and
Rainer Manthey and
Bern Martens},
editor = {Andrei Voronkov},
title = {Integrity Verification in Knowledge Bases},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {114--139},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_9},
doi = {10.1007/3-540-55460-2\_9},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BryMM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CostantiniL91,
author = {Stefania Costantini and
Gaetano Aurelio Lanzarone},
editor = {Andrei Voronkov},
title = {On Procedural Semantics of Metalevel Negation},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {140--151},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_10},
doi = {10.1007/3-540-55460-2\_10},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CostantiniL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Dantsin91,
author = {Evgeny Dantsin},
editor = {Andrei Voronkov},
title = {Probabilistic Logic Programs and their Semantics},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {152--164},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_11},
doi = {10.1007/3-540-55460-2\_11},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Dantsin91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DemoenM91,
author = {Bart Demoen and
Andr{\'{e}} Mari{\"{e}}n},
editor = {Andrei Voronkov},
title = {Implementation of Prolog as Binary Definite Programs},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {165--176},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_12},
doi = {10.1007/3-540-55460-2\_12},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DemoenM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Dikovsky91,
author = {Alexander Ja. Dikovsky},
editor = {Andrei Voronkov},
title = {Prolog Semantics for Measuring Space Consumption},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {177--192},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_13},
doi = {10.1007/3-540-55460-2\_13},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Dikovsky91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Foong91,
author = {Wai{-}Keong Foong},
editor = {Andrei Voronkov},
title = {Or-Parallel Prolog with Heuristic Task Distribution},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {193--200},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_14},
doi = {10.1007/3-540-55460-2\_14},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Foong91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HeinM91,
author = {Hans{-}G{\"{u}}nther Hein and
Manfred Meyer},
editor = {Andrei Voronkov},
title = {A {WAM} Compilation Scheme},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {201--214},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_15},
doi = {10.1007/3-540-55460-2\_15},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HeinM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Henson91,
author = {Martin C. Henson},
editor = {Andrei Voronkov},
title = {Safe Positive Induction in the Programming Logic {TK}},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {215--231},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_16},
doi = {10.1007/3-540-55460-2\_16},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Henson91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Hoek91,
author = {Wiebe van der Hoek},
editor = {Andrei Voronkov},
title = {Some Considerations on the Logic PfD},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {474--485},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_36},
doi = {10.1007/3-540-55460-2\_36},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Hoek91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/IvanetsIK91,
author = {S. Ivanets and
N. Ilinsky and
M. Krylov},
editor = {Andrei Voronkov},
title = {{WAM} Specification for Parallel Execution on {SIMD} Computer},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {232--239},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_17},
doi = {10.1007/3-540-55460-2\_17},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/IvanetsIK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/JanssensB91,
author = {Gerda Janssens and
Maurice Bruynooghe},
editor = {Andrei Voronkov},
title = {On Abstracting the Procedural Behaviour of Logic Programs},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {240--262},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_18},
doi = {10.1007/3-540-55460-2\_18},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/JanssensB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KehrerN91,
author = {Norbert Kehrer and
Gustaf Neumann},
editor = {Andrei Voronkov},
title = {Treating Enhanced Entity Relationship Models in a Declarative Style},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {263--270},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_19},
doi = {10.1007/3-540-55460-2\_19},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KehrerN91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Kitaev91,
author = {Evgeny L. Kitaev},
editor = {Andrei Voronkov},
title = {Processing of Ground Regular Terms in {PROLOG}},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {271--285},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_20},
doi = {10.1007/3-540-55460-2\_20},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Kitaev91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MantsivodaP91,
author = {Andrei Mantsivoda and
Vyacheslav Petukhin},
editor = {Andrei Voronkov},
title = {Compiling Flang},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {286--293},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_21},
doi = {10.1007/3-540-55460-2\_21},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MantsivodaP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MeyerHM91,
author = {Manfred Meyer and
Hans{-}G{\"{u}}nther Hein and
J{\"{o}}rg P. M{\"{u}}ller},
editor = {Andrei Voronkov},
title = {{FIDO:} Finite Domain Consistency Techniques in Logic Programming},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {294--301},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_22},
doi = {10.1007/3-540-55460-2\_22},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MeyerHM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MiglioliMO91,
author = {Pierangelo Miglioli and
Ugo Moscato and
Mario Ornaghi},
editor = {Andrei Voronkov},
title = {A Constructive Logic Approach to Database Theory},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {302--321},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_23},
doi = {10.1007/3-540-55460-2\_23},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MiglioliMO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Miller91,
author = {Dale Miller},
editor = {Andrei Voronkov},
title = {Abstract Syntax and Logic Programming},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {322--337},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_24},
doi = {10.1007/3-540-55460-2\_24},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Miller91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Neiman91,
author = {Vladimir S. Neiman},
editor = {Andrei Voronkov},
title = {Deduction with Generalized Terms},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {338--348},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_25},
doi = {10.1007/3-540-55460-2\_25},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Neiman91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Neumann91,
author = {Gustaf Neumann},
editor = {Andrei Voronkov},
title = {A Simple Transformation from Prolog-written Metalevel Interpreters
into Compilers and its Implementation},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {349--360},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_26},
doi = {10.1007/3-540-55460-2\_26},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Neumann91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Parigot91,
author = {Michel Parigot},
editor = {Andrei Voronkov},
title = {Free Deduction: An Analysis of "Computations" in Classical Logic},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {361--380},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_27},
doi = {10.1007/3-540-55460-2\_27},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Parigot91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Pliuskeviciene91,
author = {Aida Pliuskeviciene},
editor = {Andrei Voronkov},
title = {Gentzen-Type Calculi for Modal Logic {S4} with Barcan Formula},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {381--390},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_28},
doi = {10.1007/3-540-55460-2\_28},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Pliuskeviciene91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Pliuskevicius91,
author = {Regimantas Pliuskevicius},
editor = {Andrei Voronkov},
title = {Logical Foundation for Logic Programming Based on First Order Linear
Temporal Logic},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {391--406},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_29},
doi = {10.1007/3-540-55460-2\_29},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Pliuskevicius91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Powers91,
author = {David M. W. Powers},
editor = {Andrei Voronkov},
title = {Logic Programming with Pseudo-Resolution},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {407--414},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_30},
doi = {10.1007/3-540-55460-2\_30},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Powers91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ReynoldsK91,
author = {T. J. Reynolds and
Petros Kefalas},
editor = {Andrei Voronkov},
title = {{BRAVE:} An OR-Parallel Dialect of Prolog and its Application to Artificial
Intelligence},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {415--432},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_31},
doi = {10.1007/3-540-55460-2\_31},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/ReynoldsK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/RussoS91,
author = {Francesco Russo and
Mirko Sancassani},
editor = {Andrei Voronkov},
title = {A Declarative Debugging Environment for {DATALOG}},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {433--441},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_32},
doi = {10.1007/3-540-55460-2\_32},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/RussoS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Sakalauskaite91,
author = {Jurate Sakalauskaite},
editor = {Andrei Voronkov},
title = {A Sequent Calculus for a First Order Linear Temporal Logic with Explicit
Time},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {442--451},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_33},
doi = {10.1007/3-540-55460-2\_33},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Sakalauskaite91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Sebillot91,
author = {Pascale S{\'{e}}billot},
editor = {Andrei Voronkov},
title = {A Logical-Based Language for Feature Specification and Transmission
Control},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {452--461},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_34},
doi = {10.1007/3-540-55460-2\_34},
timestamp = {Thu, 06 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Sebillot91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Tarau91,
author = {Paul Tarau},
editor = {Andrei Voronkov},
title = {Program Transformations and WAM-Support for the Compilation of Definite
Metaprograms},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {462--473},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_35},
doi = {10.1007/3-540-55460-2\_35},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Tarau91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Voronkov91,
author = {Andrei Voronkov},
editor = {Andrei Voronkov},
title = {Logic Programming with Bounded Quantifiers},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {486--514},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_37},
doi = {10.1007/3-540-55460-2\_37},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Voronkov91.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-31 07:34 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:
