EasyChair Publications
Search
Author Information
Author:Temur Kutsia

Publications

AuthorsTitleVolumePDF
Temur KutsiaAnti-Unification: Algorithms and ApplicationsKonstantin Korovin and Barbara Morawska (editors). UNIF 2013. 27th International Workshop on Unification (EPiC Series in Computing, Volume 19)
Alexander Baumgartner and Temur KutsiaUnranked Anti-Unification with Hedge and Context VariablesKonstantin Korovin and Barbara Morawska (editors). UNIF 2013. 27th International Workshop on Unification (EPiC Series in Computing, Volume 19)
David Cerna, Wolfgang Schreiner and Temur KutsiaSpace Analysis of a Predicate Logic Fragment for the Specification of Stream MonitorsJames H. Davenport and Fadoua Ghourabi (editors). SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science (EPiC Series in Computing, Volume 39)
Mircea Marin, Temur Kutsia and Besik DunduaA rewrite-based computational model for functional logic programmingJames H. Davenport and Fadoua Ghourabi (editors). SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science (EPiC Series in Computing, Volume 39)
Laura Kovacs and Temur Kutsia (editors)SCSS 2013. 5th International Symposium on Symbolic Computation in Software ScienceEPiC Series, Volume 15
Laura Kovacs and Temur Kutsia (editors)WWV 2010. 6th International Workshop on Automated Specification and Verification of Web SystemsEPiC Series, Volume 18
Temur Kutsia and Andrei Voronkov (editors)SCSS 2014. 6th International Symposium on Symbolic Computation in Software ScienceEPiC Series, Volume 30

Keyphrases

CountKeyphrase
1anti unification with skeletons, completeness, functional logic programming, generalization with hedge and context variables, least general rigid generalization, narrowing, network monitors, parametrized rigid higher order generalization, predicate logic, soundness, space complexity, strategies, unranked higher order anti unification