Publications

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