Publications

Found 4 results
Author Keyword Title [ Type(Asc)] Year
Filters: First Letter Of Title is I and Author is T. Horváth  [Clear All Filters]
Journal Article
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.
Conference Paper
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.
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.
Gyimóthy T, Horváth T., Kocsis F., Toczki J..  1988.  Incremental Algorithms in Prof-LP. CC. 371:93-102.