|
Search the dblp DataBase
Péter Szeredi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ivan Futó, Ferenc Darvas, Péter Szeredi
The Application of Prolog to the Development of QA and BDS Systems. [Citation Graph (1, 0)][DBLP] Logic and Data Bases, 1977, pp:347-376 [Conf]
- Péter Szeredi
Teaching Constraints through Logic Puzzles. [Citation Graph (0, 0)][DBLP] CSCLP, 2003, pp:196-222 [Conf]
- Ewing L. Lusk, Ralph Butler, Terry Disz, Robert Olson, Ross A. Overbeek, Rick L. Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil Hausman
The Aurora Or-Parallel Prolog System. [Citation Graph (0, 0)][DBLP] FGCS, 1988, pp:819-830 [Conf]
- Tamás Benkö, Péter Krauth, Péter Szeredi
A Logic-Based System for Application Integration. [Citation Graph (0, 0)][DBLP] ICLP, 2002, pp:452-466 [Conf]
- Alan Calderwood, Péter Szeredi
Scheduling Or-parallelism in Aurora: The Manchester Scheduler. [Citation Graph (0, 0)][DBLP] ICLP, 1989, pp:419-435 [Conf]
- Zsuzsa Farkas, Péter Köves, Péter Szeredi
MProlog: an Implementation Overview. [Citation Graph (0, 0)][DBLP] ICLP-Workshops on Implementation of Logic Programming Systems, 1993, pp:103-117 [Conf]
- Zsuzsa Farkas, Péter Szeredi, E. Sántáné-Tóth
LDM: A Program Specification Support System. [Citation Graph (0, 0)][DBLP] ICLP, 1982, pp:123-128 [Conf]
- Dávid Hanák, Tamás Szeredi, Péter Szeredi
FDBG, the CLPFD Debugger Library of SICStus Prolog. [Citation Graph (0, 0)][DBLP] ICLP, 2004, pp:458-459 [Conf]
- Ewing L. Lusk, Ross A. Overbeek, Shyam Mudambi, Péter Szeredi
Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. [Citation Graph (0, 0)][DBLP] IJCSLP Workshop on Concurrent and Parallel Implementations, 1992, pp:- [Conf]
- Péter Szeredi
Solving Optimisation Problems in the Aurora Or-parallel Prolog System. [Citation Graph (0, 0)][DBLP] ICLP Workshop on Parallel Execution of Logic Programs, 1991, pp:39-53 [Conf]
- Peter Szabó, Péter Szeredi
Improving the ISO Prolog Standard by Analyzing Compliance Test Results. [Citation Graph (0, 0)][DBLP] ICLP, 2006, pp:257-269 [Conf]
- Péter Szeredi
Exploiting Or-Parallelism in Optimisation Problems. [Citation Graph (0, 0)][DBLP] JICSLP, 1992, pp:703-716 [Conf]
- Bálint Dömölki, Péter Szeredi
Prolog in Practice. [Citation Graph (0, 0)][DBLP] IFIP Congress, 1983, pp:627-636 [Conf]
- Péter Szeredi
Perspectives of logic programming. [Citation Graph (0, 0)][DBLP] IMYCS, 1986, pp:200-213 [Conf]
- Kalman Balogh, Zsuzsa Farkas, E. Sántáné-Tóth, Péter Szeredi
Software Development in LDM. [Citation Graph (0, 0)][DBLP] Conference on Operating Systems, 1982, pp:56-83 [Conf]
- Zsolt Nagy, Gergely Lukácsy, Péter Szeredi
Translating Description Logic Queries to Prolog. [Citation Graph (0, 0)][DBLP] PADL, 2006, pp:168-182 [Conf]
- Anthony Beaumont, S. Muthu Raman, Péter Szeredi, David H. D. Warren
Flexible Scheduling of OR-Parallel Logic Programming Systems. [Citation Graph (0, 0)][DBLP] PARLE (2), 1991, pp:421-438 [Conf]
- Péter Szeredi, Rong Yang, Mats Carlsson
Interfacing Engines and Schedulers in OR-Parallel Prolog Systems. [Citation Graph (0, 0)][DBLP] PARLE (2), 1991, pp:439-453 [Conf]
- Ewing L. Lusk, Shyam Mudambi, Ross A. Overbeek, Péter Szeredi
Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. [Citation Graph (0, 0)][DBLP] ILPS, 1993, pp:353-369 [Conf]
- Péter Szeredi
Performance Analysis of the Aurora Or-Parallel Prolog System. [Citation Graph (0, 0)][DBLP] NACLP, 1989, pp:713-732 [Conf]
- Péter Szeredi
Using Dynamic Predicates in an Or--Parallel Prolog System. [Citation Graph (0, 0)][DBLP] ISLP, 1991, pp:355-371 [Conf]
- Zsolt Nagy, Gergely Lukácsy, Péter Szeredi
Description logic reasoning using the PTTP approach. [Citation Graph (0, 0)][DBLP] Description Logics, 2006, pp:- [Conf]
Ontology Based Information Integration Using Logic Programming. [Citation Graph (, )][DBLP]
Prolog Based Description Logic Reasoning. [Citation Graph (, )][DBLP]
Scalable Web Reasoning Using Logic Programming Techniques. [Citation Graph (, )][DBLP]
Towards automatic semantic integration. [Citation Graph (, )][DBLP]
Symposium of Young Scientists on Intellignet Systems --- Preface. [Citation Graph (, )][DBLP]
Symposium of Young Scientists on Intelligent Systems --- Preface. [Citation Graph (, )][DBLP]
Plagiarism Detection in Source Programs Using Structural Similarities. [Citation Graph (, )][DBLP]
Optimizing Queries in a Logic-based Information Integration System [Citation Graph (, )][DBLP]
Efficient Description Logic Reasoning in Prolog: The DLog system [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.305secs
|