Publications
Found 4 results
Author Keyword [ Title] Type Year Filters: Author is T. Horváth and First Letter Of Title is I [Clear All Filters]
Incremental Algorithms in Prof-LP. CC. 371:93-102.
.
1988. Independent and-parallelization of logic programs using static slicing. Annales Universitatis Scientiarum Budapestinensis de Rolando Eotvos Nominatae Sectio Computarotica. 17:307-321.
.
1998. 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.