|
СТ |
Using Dynamic Predicates in an Or-Parallel Prolog System |
1991 |
Szeredi P. |
|
|
|
Logic Programming: Proc./1991 Intern. Symp. |
29.12.1994 |
|
СТ |
Exploiting Or-parallelism in Optimisation Problems |
1992 |
Szeredi P. |
|
|
|
Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming |
19.12.1994 |
|
СТ |
Applications of the Aurora Parallel Prolog System to Computational Molecular Biology |
1993 |
Lusk E., Mudambi S., Overbeek R., Szeredi P. |
|
|
|
Logic Programming: Proc./1993 Intern. Symp. |
20.09.1994 |
|
СТ |
Flexible Scheduling of Or-parallelism in Aurora: The Bristol Scheduler |
1991 |
Beaumont A., Raman S., Szeredi P., Warren D. |
|
|
|
Lecture Notes in Computer Science |
13.09.1991 |
|
СТ |
Interfacing Engines and Schedulers in Or-Parallel Prolog Systems |
1991 |
Szeredi P., Yang R. |
|
|
|
Lecture Notes in Computer Science |
13.09.1991 |
