Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Péter Szeredi
@article{DBLP:journals/actaC/ZomboriS12,
author = {Zsolt Zombori and
P{\'{e}}ter Szeredi},
title = {Loop Elimination, a Sound Optimisation Technique for {PTTP} Related
Theorem Proving},
journal = {Acta Cybern.},
volume = {20},
number = {3},
pages = {441--458},
year = {2012},
url = {https://doi.org/10.14232/actacyb.20.3.2012.5},
doi = {10.14232/ACTACYB.20.3.2012.5},
timestamp = {Mon, 15 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/ZomboriS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ZomboriCS12,
author = {Zsolt Zombori and
J{\'{a}}nos Csorba and
P{\'{e}}ter Szeredi},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Static Type Inference for the {Q} language using Constraint Logic
Programming},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {119--129},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.119},
doi = {10.4230/LIPICS.ICLP.2012.119},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/ZomboriCS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ZomboriCS11,
author = {Zsolt Zombori and
J{\'{a}}nos Csorba and
P{\'{e}}ter Szeredi},
editor = {John P. Gallagher and
Michael Gelfond},
title = {Static Type Checking for the {Q} Functional Language in Prolog},
booktitle = {Technical Communications of the 27th International Conference on Logic
Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}},
series = {LIPIcs},
volume = {11},
pages = {62--72},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2011.62},
doi = {10.4230/LIPICS.ICLP.2011.62},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/ZomboriCS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-3784,
author = {J{\'{a}}nos Csorba and
Zsolt Zombori and
P{\'{e}}ter Szeredi},
title = {Using Constraint Handling Rules to Provide Static Type Analysis for
the {Q} Functional Language},
journal = {CoRR},
volume = {abs/1112.3784},
year = {2011},
url = {http://arxiv.org/abs/1112.3784},
eprinttype = {arXiv},
eprint = {1112.3784},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-3784.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/LukacsyS09,
author = {Gergely Luk{\'{a}}csy and
P{\'{e}}ter Szeredi},
title = {Plagiarism Detection in Source Programs Using Structural Similarities},
journal = {Acta Cybern.},
volume = {19},
number = {1},
pages = {191--216},
year = {2009},
url = {https://doi.org/10.14232/actacyb.19.1.2009.13},
doi = {10.14232/ACTACYB.19.1.2009.13},
timestamp = {Mon, 15 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/LukacsyS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LukacsyS09,
author = {Gergely Luk{\'{a}}csy and
P{\'{e}}ter Szeredi},
title = {Efficient description logic reasoning in Prolog: The DLog system},
journal = {Theory Pract. Log. Program.},
volume = {9},
number = {3},
pages = {343--414},
year = {2009},
url = {https://doi.org/10.1017/S1471068409003792},
doi = {10.1017/S1471068409003792},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LukacsyS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/LukacsyS09,
author = {Gergely Luk{\'{a}}csy and
P{\'{e}}ter Szeredi},
editor = {Axel Polleres and
Terrance Swift},
title = {Scalable Web Reasoning Using Logic Programming Techniques},
booktitle = {Web Reasoning and Rule Systems, Third International Conference, {RR}
2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5837},
pages = {102--117},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05082-4\_8},
doi = {10.1007/978-3-642-05082-4\_8},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/LukacsyS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0904-0578,
author = {Gergely Luk{\'{a}}csy and
P{\'{e}}ter Szeredi},
title = {Efficient Description Logic Reasoning in Prolog: The DLog system},
journal = {CoRR},
volume = {abs/0904.0578},
year = {2009},
url = {http://arxiv.org/abs/0904.0578},
eprinttype = {arXiv},
eprint = {0904.0578},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0904-0578.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/GregoricsMSSVV08,
author = {Tibor Gregorics and
B{\'{a}}lint Moln{\'{a}}r and
Edit S{\'{a}}nt{\'{a}}n{\'{e}}{-}T{\'{o}}th and
P{\'{e}}ter Szeredi and
Zolt{\'{a}}n V{\'{a}}mossy and
L{\'{a}}szl{\'{o}} Zsolt Varga},
title = {Symposium of Young Scientists on Intellignet Systems - Preface},
journal = {Acta Cybern.},
volume = {18},
number = {4},
pages = {557--560},
year = {2008},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3737},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/GregoricsMSSVV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LukacsySK08,
author = {Gergely Luk{\'{a}}csy and
P{\'{e}}ter Szeredi and
Bal{\'{a}}zs K{\'{a}}d{\'{a}}r},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Prolog Based Description Logic Reasoning},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {455--469},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_40},
doi = {10.1007/978-3-540-89982-2\_40},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/LukacsySK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/CsinkGMSSVV07,
author = {Laszlo Csink and
Tibor Gregorics and
B{\'{a}}lint Moln{\'{a}}r and
Edit S{\'{a}}nt{\'{a}}n{\'{e}}{-}T{\'{o}}th and
P{\'{e}}ter Szeredi and
Zolt{\'{a}}n V{\'{a}}mossy and
L{\'{a}}szl{\'{o}} Zsolt Varga},
title = {Symposium of Young Scientists on Intelligent Systems - Preface},
journal = {Acta Cybern.},
volume = {18},
number = {2},
pages = {169},
year = {2007},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3711},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/CsinkGMSSVV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LukacsyS07,
author = {Gergely Luk{\'{a}}csy and
P{\'{e}}ter Szeredi},
editor = {Axel Polleres and
David Pearce and
Stijn Heymans and
Edna Ruckhaus},
title = {Ontology Based Information Integration Using Logic Programming},
booktitle = {Proceedings of the ICLP'07 Workshop on Applications of Logic Programming
to the Web, Semantic Web and Semantic Web Services, {ALPSWS} 2007,
Porto, Portugal, September 13th, 2007},
series = {{CEUR} Workshop Proceedings},
volume = {287},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-287/paper\_6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/LukacsyS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iesa/LukacsySB07,
author = {Gergely Luk{\'{a}}csy and
P{\'{e}}ter Szeredi and
Tam{\'{a}}s Benk{\"{o}}},
editor = {Ricardo Jardim{-}Gon{\c{c}}alves and
J{\"{o}}rg P. M{\"{u}}ller and
Kai Mertins and
Martin Zelm},
title = {Towards automatic semantic integration},
booktitle = {Enterprise Interoperability {II} - New Challenges and Industrial Approaches,
Proceedings of the 3th International Conference on Interoperability
for Enterprise Software and Applications, {IESA} 2007, March 27-30,
2007, Funchal, Madeira Island, Portugal},
pages = {795--806},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-1-84628-858-6\_86},
doi = {10.1007/978-1-84628-858-6\_86},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iesa/LukacsySB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0712-3113,
author = {Andr{\'{a}}s Gy{\"{o}}rgy B{\'{e}}k{\'{e}}s and
P{\'{e}}ter Szeredi},
title = {Optimizing Queries in a Logic-based Information Integration System},
journal = {CoRR},
volume = {abs/0712.3113},
year = {2007},
url = {http://arxiv.org/abs/0712.3113},
eprinttype = {arXiv},
eprint = {0712.3113},
timestamp = {Fri, 28 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0712-3113.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/NagyLS06,
author = {Zsolt Nagy and
Gergely Luk{\'{a}}csy and
P{\'{e}}ter Szeredi},
editor = {Bijan Parsia and
Ulrike Sattler and
David Toman},
title = {Description logic reasoning using the {PTTP} approach},
booktitle = {Proceedings of the 2006 International Workshop on Description Logics
(DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {189},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-189/submission\_25.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/NagyLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SzaboS06,
author = {P{\'{e}}ter G. N. Szab{\'{o}} and
P{\'{e}}ter Szeredi},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Improving the {ISO} Prolog Standard by Analyzing Compliance Test Results},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {257--269},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_20},
doi = {10.1007/11799573\_20},
timestamp = {Mon, 19 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/SzaboS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/NagyLS06,
author = {Zsolt Nagy and
Gergely Luk{\'{a}}csy and
P{\'{e}}ter Szeredi},
editor = {Pascal Van Hentenryck},
title = {Translating Description Logic Queries to Prolog},
booktitle = {Practical Aspects of Declarative Languages, 8th International Symposium,
{PADL} 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3819},
pages = {168--182},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11603023\_12},
doi = {10.1007/11603023\_12},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/NagyLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HanakSS04,
author = {D{\'{a}}vid Han{\'{a}}k and
Tam{\'{a}}s Szeredi and
P{\'{e}}ter Szeredi},
editor = {Bart Demoen and
Vladimir Lifschitz},
title = {FDBG, the {CLPFD} Debugger Library of SICStus Prolog},
booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3132},
pages = {458--459},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27775-0\_37},
doi = {10.1007/978-3-540-27775-0\_37},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/HanakSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csclp/2003,
editor = {Krzysztof R. Apt and
Fran{\c{c}}ois Fages and
Francesca Rossi and
P{\'{e}}ter Szeredi and
J{\'{o}}zsef V{\'{a}}ncza},
title = {Recent Advances in Constraints, Joint ERCIM/CoLogNET International
Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3010},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b96986},
doi = {10.1007/B96986},
isbn = {3-540-21834-3},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csclp/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/Szeredi03,
author = {P{\'{e}}ter Szeredi},
editor = {Krzysztof R. Apt and
Fran{\c{c}}ois Fages and
Francesca Rossi and
P{\'{e}}ter Szeredi and
J{\'{o}}zsef V{\'{a}}ncza},
title = {Teaching Constraints through Logic Puzzles},
booktitle = {Recent Advances in Constraints, Joint ERCIM/CoLogNET International
Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3010},
pages = {196--222},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24662-6\_11},
doi = {10.1007/978-3-540-24662-6\_11},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/csclp/Szeredi03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BenkoKS02,
author = {Tam{\'{a}}s Benk{\"{o}} and
P{\'{e}}ter Krauth and
P{\'{e}}ter Szeredi},
editor = {Peter J. Stuckey},
title = {A Logic-Based System for Application Integration},
booktitle = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
Denmark, July 29 - August 1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2401},
pages = {452--466},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45619-8\_31},
doi = {10.1007/3-540-45619-8\_31},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BenkoKS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FarkasKS93,
author = {Zsuzsa Farkas and
P{\'{e}}ter K{\"{o}}ves and
P{\'{e}}ter Szeredi},
editor = {Evan Tick and
Giancarlo Succi},
title = {MProlog: an Implementation Overview},
booktitle = {Implementations of Logic Programming Systems: Papers from the {ICLP}
1993 Workshops: Practical Implementations and Systems Experience in
Logic Programming Systems - Concurrent, Distributed, and Parallel
Implementations of Logic Programming Systems},
pages = {103--117},
publisher = {Kluwer Academic Publishers, Boston},
year = {1993},
timestamp = {Mon, 02 Dec 2013 17:40:42 +0100},
biburl = {https://dblp.org/rec/conf/iclp/FarkasKS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/LuskMOS93,
author = {Ewing L. Lusk and
Shyam Mudambi and
Ross A. Overbeek and
P{\'{e}}ter Szeredi},
editor = {Dale Miller},
title = {Applications of the Aurora Parallel Prolog System to Computational
Molecular Biology},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {353--369},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
biburl = {https://dblp.org/rec/conf/slp/LuskMOS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LuskOMS92,
author = {Ewing L. Lusk and
Ross A. Overbeek and
Shyam Mudambi and
P{\'{e}}ter Szeredi},
title = {Applications of the Aurora Parallel Prolog System to Computational
Molecular Biology},
booktitle = {Workshop on Concurrent and Parallel Implementations (sessions {A}
and B), held at IJCSLP'92, Washington, DC, USA, November 1992},
year = {1992},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/LuskOMS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Szeredi92,
author = {P{\'{e}}ter Szeredi},
editor = {Krzysztof R. Apt},
title = {Exploiting Or-Parallelism in Optimisation Problems},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {703--716},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Szeredi92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Szeredi91,
author = {P{\'{e}}ter Szeredi},
editor = {Anthony Joseph Beaumont and
Gopal Gupta},
title = {Solving Optimisation Problems in the Aurora Or-parallel Prolog System},
booktitle = {Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop,
Paris, France, June 24, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {569},
pages = {39--53},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55038-0\_4},
doi = {10.1007/3-540-55038-0\_4},
timestamp = {Wed, 26 Oct 2022 11:14:38 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Szeredi91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/BeaumontRSW91,
author = {Anthony Joseph Beaumont and
S. Muthu Raman and
P{\'{e}}ter Szeredi and
David H. D. Warren},
editor = {Emile H. L. Aarts and
Jan van Leeuwen and
Martin Rem},
title = {Flexible Scheduling of OR-Parallel Logic Programming Systems},
booktitle = {{PARLE} '91: Parallel Architectures and Languages Europe, Volume {II:}
Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {506},
pages = {421--438},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54152-7\_78},
doi = {10.1007/3-540-54152-7\_78},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/BeaumontRSW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/SzerediYC91,
author = {P{\'{e}}ter Szeredi and
Rong Yang and
Mats Carlsson},
editor = {Emile H. L. Aarts and
Jan van Leeuwen and
Martin Rem},
title = {Interfacing Engines and Schedulers in OR-Parallel Prolog Systems},
booktitle = {{PARLE} '91: Parallel Architectures and Languages Europe, Volume {II:}
Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {506},
pages = {439--453},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54152-7\_79},
doi = {10.1007/3-540-54152-7\_79},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/parle/SzerediYC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Szeredi91,
author = {P{\'{e}}ter Szeredi},
editor = {Vijay A. Saraswat and
Kazunori Ueda},
title = {Using Dynamic Predicates in an Or--Parallel Prolog System},
booktitle = {Logic Programming, Proceedings of the 1991 International Symposium,
San Diego, California, USA, Oct. 28 - Nov 1, 1991},
pages = {355--371},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/Szeredi91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/LuskBDOOSWCSH90,
author = {Ewing L. Lusk and
Ralph Butler and
Terrence Disz and
Robert Olson and
Ross A. Overbeek and
Rick Stevens and
David H. D. Warren and
Alan Calderwood and
P{\'{e}}ter Szeredi and
Seif Haridi},
title = {The Aurora or-parallel Prolog system},
journal = {New Gener. Comput.},
volume = {7},
number = {2-3},
pages = {243--271},
year = {1990},
url = {https://doi.org/10.1007/BF03037208},
doi = {10.1007/BF03037208},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/LuskBDOOSWCSH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1990,
editor = {David H. D. Warren and
P{\'{e}}ter Szeredi},
title = {Logic Programming, Proceedings of the Seventh International Conference,
Jerusalem, Israel, June 18-20, 1990},
publisher = {{MIT} Press},
year = {1990},
isbn = {0-262-73090-1},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CalderwoodS89,
author = {Alan Calderwood and
P{\'{e}}ter Szeredi},
editor = {Giorgio Levi and
Maurizio Martelli},
title = {Scheduling Or-parallelism in Aurora: The Manchester Scheduler},
booktitle = {Logic Programming, Proceedings of the Sixth International Conference,
Lisbon, Portugal, June 19-23, 1989},
pages = {419--435},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CalderwoodS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Szeredi89,
author = {P{\'{e}}ter Szeredi},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {Performance Analysis of the Aurora Or-Parallel Prolog System},
booktitle = {Logic Programming, Proceedings of the North American Conference 1989,
Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes},
pages = {713--732},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Wed, 04 Dec 2013 14:43:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Szeredi89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/LuskBDOOSWCSHBCCH88,
author = {Ewing L. Lusk and
Ralph Butler and
Terry Disz and
Robert Olson and
Ross A. Overbeek and
Rick L. Stevens and
David H. D. Warren and
Alan Calderwood and
P{\'{e}}ter Szeredi and
Seif Haridi and
Per Brand and
Mats Carlsson and
Andrzej Ciepielewski and
Bogumil Hausman},
title = {The Aurora Or-Parallel Prolog System},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988},
pages = {819--830},
publisher = {{OHMSHA} Ltd. Tokyo and Springer-Verlag},
year = {1988},
timestamp = {Mon, 05 Aug 2019 17:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/LuskBDOOSWCSHBCCH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mk/minker88/EmdenS88,
author = {Maarten H. van Emden and
P{\'{e}}ter Szeredi},
editor = {Jack Minker},
title = {Converting AND-Control to OR-Control by Program Transformation},
booktitle = {Foundations of Deductive Databases and Logic Programming},
pages = {699--709},
publisher = {Morgan Kaufmann},
year = {1988},
url = {https://doi.org/10.1016/b978-0-934613-40-8.50022-1},
doi = {10.1016/B978-0-934613-40-8.50022-1},
timestamp = {Thu, 27 Jun 2019 09:09:21 +0200},
biburl = {https://dblp.org/rec/books/mk/minker88/EmdenS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Szeredi86,
author = {P{\'{e}}ter Szeredi},
editor = {Alica Kelemenov{\'{a}} and
Jozef Kelemen},
title = {Perspectives of logic programming},
booktitle = {Trends, Techniques, and Problems in Theoretical Computer Science,
4th International Meeting of Young Computer Scientists, Smolenice,
Czechoslovakia, October 13-17, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {281},
pages = {200--213},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3540185356\_39},
doi = {10.1007/3540185356\_39},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Szeredi86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/DomolkiS83,
author = {B{\'{a}}lint D{\"{o}}m{\"{o}}lki and
P{\'{e}}ter Szeredi},
editor = {R. E. A. Mason},
title = {Prolog in Practice},
booktitle = {Information Processing 83, Proceedings of the {IFIP} 9th World Computer
Congress, Paris, France, September 19-23, 1983},
pages = {627--636},
publisher = {North-Holland/IFIP},
year = {1983},
timestamp = {Sun, 28 Jul 2019 17:03:41 +0200},
biburl = {https://dblp.org/rec/conf/ifip/DomolkiS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FarkasSS82,
author = {Zsuzsa Farkas and
P{\'{e}}ter Szeredi and
Edit S{\'{a}}nt{\'{a}}n{\'{e}}{-}T{\'{o}}th},
editor = {Michel Van Caneghem},
title = {{LDM:} {A} Program Specification Support System},
booktitle = {Proceedings of the First International Logic Programming Conference,
Facult{\'{e}} des Science de Luminy, ADDP-GIA, Marseille, France,
September, 14-17, 1982},
pages = {123--128},
publisher = {{ADDP-GIA}},
year = {1982},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/FarkasSS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/os/BaloghFSS82,
author = {Kalman Balogh and
Zsuzsa Farkas and
Edit S{\'{a}}nt{\'{a}}n{\'{e}}{-}T{\'{o}}th and
P{\'{e}}ter Szeredi},
editor = {El{\"{o}}d Knuth and
Erich J. Neuhold},
title = {Software Development in {LDM}},
booktitle = {Specification and Design of Software Systems, Conference on Operating
Systems, Visegrad, Hungary, January 23-27, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {152},
pages = {56--83},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/BFb0051560},
doi = {10.1007/BFB0051560},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/os/BaloghFSS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbt/FutoDS77,
author = {Ivan Fut{\'{o}} and
Ferenc Darvas and
P{\'{e}}ter Szeredi},
editor = {Herv{\'{e}} Gallaire and
Jack Minker},
title = {The Application of Prolog to the Development of {QA} and {DBM} Systems},
booktitle = {Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'{\'{e}}tudes
et de recherches de Toulouse, France, 1977},
series = {Advances in Data Base Theory},
pages = {347--376},
publisher = {Plemum Press},
address = {New York},
year = {1977},
url = {https://doi.org/10.1007/978-1-4684-3384-5\_13},
doi = {10.1007/978-1-4684-3384-5\_13},
timestamp = {Thu, 25 Jul 2019 12:26:02 +0200},
biburl = {https://dblp.org/rec/conf/adbt/FutoDS77.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.
last updated on 2024-01-24 23:24 CET 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:
