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