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/lpar99.bht:"
download as .bib file
@inproceedings{DBLP:conf/lpar/AlbertAHV99,
author = {Elvira Albert and
Mar{\'{\i}}a Alpuente and
Michael Hanus and
Germ{\'{a}}n Vidal},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {A Partial Evaluation Framework for Curry Programs},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {376--395},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_23},
doi = {10.1007/3-540-48242-3\_23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AlbertAHV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AndreoliM99,
author = {Jean{-}Marc Andreoli and
Roberto Maieli},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Fucusing and Proof-Nets in Linear and Non-commutative Logic},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {321--336},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_20},
doi = {10.1007/3-540-48242-3\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AndreoliM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BejarM99,
author = {Ram{\'{o}}n B{\'{e}}jar and
Felip Many{\`{a}}},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Solving Combinatorial Problems with Regular Local Search Algorithms},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {33--43},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_3},
doi = {10.1007/3-540-48242-3\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BejarM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BundyR99,
author = {Alan Bundy and
Julian Richardson},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Proofs About Lists Using Ellipsis},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {1--12},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_1},
doi = {10.1007/3-540-48242-3\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BundyR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CerritoMP99,
author = {Serenella Cerrito and
Marta Cialdea Mayer and
S{\'{e}}bastien Praud},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {First Order Linear Temporal Logic over Finite Time Structures},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {62--76},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_5},
doi = {10.1007/3-540-48242-3\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CerritoMP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DegtyarevLM99,
author = {Anatoli Degtyarev and
Alexander V. Lyaletski and
Marina K. Morokhovets},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Evidence Algorithm and Sequent Logical Inference Search},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {44--61},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_4},
doi = {10.1007/3-540-48242-3\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DegtyarevLM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/DemoenS99,
author = {Bart Demoen and
Konstantinos Sagonas},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {{CHAT} Is Theta(SLG-Wam)},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {337--357},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_21},
doi = {10.1007/3-540-48242-3\_21},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/DemoenS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Dierkes99,
author = {Michael Dierkes},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {286--303},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_18},
doi = {10.1007/3-540-48242-3\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Dierkes99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Gori99,
author = {Roberta Gori},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {A Fixpoint Semantics for Reasoning about Finite Failure},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {238--257},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_15},
doi = {10.1007/3-540-48242-3\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Gori99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GottlobP99,
author = {Georg Gottlob and
Christos H. Papadimitriou},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {On the Complexity of Single-Rule Datalog Queries},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {201--222},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_13},
doi = {10.1007/3-540-48242-3\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GottlobP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GowBG99,
author = {Jeremy Gow and
Alan Bundy and
Ian Green},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Extensions to the Estimation Calculus},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {258--272},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_16},
doi = {10.1007/3-540-48242-3\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/GowBG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HermannJK99,
author = {Miki Hermann and
Laurent Juban and
Phokion G. Kolaitis},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine
System},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {13--32},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_2},
doi = {10.1007/3-540-48242-3\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HermannJK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HooglandMO99,
author = {Eva Hoogland and
Maarten Marx and
Martin Otto},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Beth Definability for the Guarded Fragment},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {273--285},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_17},
doi = {10.1007/3-540-48242-3\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HooglandMO99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HorrocksST99,
author = {Ian Horrocks and
Ulrike Sattler and
Stephan Tobies},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Practical Reasoning for Expressive Description Logics},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {161--180},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_11},
doi = {10.1007/3-540-48242-3\_11},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HorrocksST99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Leucker99,
author = {Martin Leucker},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Model Checking Games for the Alternation-Free {\(\mathrm{\mu}\)}-Calculus
and Alternating Automata},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {77--91},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_6},
doi = {10.1007/3-540-48242-3\_6},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Leucker99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/LopezP99,
author = {Pablo L{\'{o}}pez and
Ernesto Pimentel},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Resource Management in Linear Logic Search Revisited},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {304--319},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_19},
doi = {10.1007/3-540-48242-3\_19},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/LopezP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Lutz99,
author = {Carsten Lutz},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Complexity of Terminological Reasoning Revisited},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {181--200},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_12},
doi = {10.1007/3-540-48242-3\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Lutz99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/MokhtariM99,
author = {Yassin Mokhtari and
Stephan Merz},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Animating {TLA} Specifications},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {92--110},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_7},
doi = {10.1007/3-540-48242-3\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/MokhtariM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Moreno99,
author = {Ren{\'{e}} Moreno},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Abstracting Properties in Concurrent Constraint Programming},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {223--237},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_14},
doi = {10.1007/3-540-48242-3\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Moreno99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Ohlebusch99,
author = {Enno Ohlebusch},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Transforming Conditional Rewrite Systems with Extra Variables into
Unconditional Systems},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {111--130},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_8},
doi = {10.1007/3-540-48242-3\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Ohlebusch99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/PelovB99,
author = {Nikolay Pelov and
Maurice Bruynooghe},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {358--375},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_22},
doi = {10.1007/3-540-48242-3\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/PelovB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Rety99,
author = {Pierre R{\'{e}}ty},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Regular Sets of Descendants for Constructor-Based Rewrite Systems},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {148--160},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_10},
doi = {10.1007/3-540-48242-3\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Rety99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Waldmann99,
author = {Uwe Waldmann},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Cancellative Superposition Decides the Theory of Divisible Torsion-Free
Abelian Groups},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {131--147},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_9},
doi = {10.1007/3-540-48242-3\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Waldmann99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/1999,
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3},
doi = {10.1007/3-540-48242-3},
isbn = {3-540-66492-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/1999.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-06-04 01:01 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:
