Publications
Export 4 results:
Author Title [ Type] Year Filters: First Letter Of Title is I and Author is T. Horváth [Clear All Filters]
Incremental Algorithms in Prof-LP. CC. 371:93-102.
.
1988. Independent and-parallelization of logic programs using static slicing. Fourth Symposium on Programming Languages and Software Tools. :307-319.
.
1995. Interactive diagnosis and testing of logic programs. Third Finnish- Estonian- Hungarian Symposium on Programming Languages and Software Tools. :34-47.
.
1993. Independent and-parallelization of logic programs using static slicing. Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica. 17:307-321.
.
1998.