Follow
Péter Szeredi
Title
Cited by
Cited by
Year
The Aurora or-parallel Prolog system
E Lusk, R Butler, T Disz, R Olson, R Overbeek, R Stevens, DHD Warren, ...
New Generation Computing 7, 243-271, 1990
4411990
Scheduling Or-parallelism in Aurora: The Manchester Scheduler.
A Calderwood, P Szeredi
ICLP 89, 419-435, 1989
841989
Performance Analysis of the Aurora Or-Parallel Prolog System.
P Szeredi
NACLP 89, 713-732, 1989
771989
Flexible scheduling of OR-parallelism in Aurora: The Bristol scheduler
A Beaumont, SM Raman, P Szeredi, DHD Warren
Parle’91 Parallel Architectures and Languages Europe: Volume I: Parallel …, 1991
691991
Analysis of shared data structures for compile-time garbage collection in logic programs
A Mulkers, WH Winsborough, M Bruynooghe
Logic Programming, Proceedings of the Seventh International Conference …, 1990
531990
Efficient description logic reasoning in Prolog: the DLog system
G Lukácsy, P Szeredi
Theory and Practice of Logic Programming 9 (3), 343-414, 2009
502009
The semantic web explained: The technology and mathematics behind web 3.0
P Szeredi, G Lukácsy, T Benkő
Cambridge University Press, 2014
402014
Serving multiple HTML clients from a Prolog application
P Szeredi, K Molnár, R Scott
Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET …, 1996
351996
A practical technique for detecting non-terminating queries for a restricted class of Horn clauses, using directed, weighted graphs
D De Schreye, C Verschaetse, M Bruynooghe
Logic Programming: Proceedings of the Seventh International Conference, 649-663, 1990
351990
Prolog applications in Hungary
E Sántáné-Tóth, P Szeredi
Logic Programming, Academic Press, London, 19-32, 1982
301982
The application of PROLOG to the development of QA and DBM systems
I Futo, F Darvas, P Szeredi
Logic and Data Bases, 347-376, 1977
301977
The MPROLOG system
J Bendl, P Koves, P Szeredi
Logic Programming Workshop, 201-209, 1980
251980
Prolog in Practice.
B Dömölki, P Szeredi
IFIP Congress, 627-636, 1983
221983
Module concepts for PROLOG
P Szeredi
Proc. Workshop on Prolog Programming Environments, Linkoping, 69-80, 1982
221982
A szemantikus világháló elmélete és gyakorlata
P Szeredi, G Lukácsy, T BENKŐ
Budapest: Typotex, 2005
212005
Interfacing engines and schedulers in or-parallel Prolog systems
P Szeredi, R Yang, M Carlsson
PARLE'91 Parallel Architectures and Languages Europe: Volume II: Parallel …, 1991
171991
Neurogenesis in the adult human hippocampus
SE Peter, P Ekaterina, BE Thomas, MA Ann, N Claes, AP Daniel, HG Fred
Nature Medicine 4 (11), 1313-1317, 1998
161998
Translating description logic queries to Prolog
Z Nagy, G Lukácsy, P Szeredi
Practical Aspects of Declarative Languages: 8th International Symposium …, 2006
152006
Using Dynamic Predicates in an Or--Parallel Prolog System.
P Szeredi
ISLP, 355-371, 1991
151991
Logic-based program system for predicting drug interactions
F Darvas, I Futó, P Szeredi
International Journal of Bio-Medical Computing 9 (4), 259-271, 1978
151978
The system can't perform the operation now. Try again later.
Articles 1–20