Publications

Export 4 results:
Author 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.