Search the dblp DataBase
Temur Kutsia :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Temur Kutsia Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms. [Citation Graph (0, 0)][DBLP ] AISC, 2002, pp:290-304 [Conf ] Temur Kutsia Solving Equations Involving Sequence Variables and Sequence Functions. [Citation Graph (0, 0)][DBLP ] AISC, 2004, pp:157-170 [Conf ] Temur Kutsia Theorem Proving with Sequence Variables and Flexible Arity Symbols. [Citation Graph (0, 0)][DBLP ] LPAR, 2002, pp:278-291 [Conf ] Temur Kutsia , Mircea Marin Matching with Regular Constraints. [Citation Graph (0, 0)][DBLP ] LPAR, 2005, pp:215-229 [Conf ] Florina Piroi , Temur Kutsia The Theorema Environment for Interactive Proof Development. [Citation Graph (0, 0)][DBLP ] LPAR, 2005, pp:261-275 [Conf ] Temur Kutsia , Bruno Buchberger Predicate Logic with Sequence Variables and Sequence Function Symbols. [Citation Graph (0, 0)][DBLP ] MKM, 2004, pp:205-219 [Conf ] Temur Kutsia Equational Prover of THEOREMA. [Citation Graph (0, 0)][DBLP ] RTA, 2003, pp:367-379 [Conf ] Temur Kutsia Context Sequence Matching for XML. [Citation Graph (0, 0)][DBLP ] WWV, 2005, pp:103-119 [Conf ] Temur Kutsia Pattern Unification with Sequence Variables, Flexible Arity Symbols. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:66, n:5, pp:- [Journal ] Temur Kutsia Context Sequence Matching for XML. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:157, n:2, pp:47-65 [Journal ] Mircea Marin , Temur Kutsia Foundations of the rule-based system rLog. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 2006, v:16, n:1-2, pp:151-168 [Journal ] Bruno Buchberger , Adrian Craciun , Tudor Jebelean , Laura Kovács , Temur Kutsia , Koji Nakagawa , Florina Piroi , Nikolaj Popov , Judit Robu , Markus Rosenkranz Theorema: Towards computer-aided mathematical theory exploration. [Citation Graph (0, 0)][DBLP ] J. Applied Logic, 2006, v:4, n:4, pp:470-504 [Journal ] Temur Kutsia Solving equations with sequence variables and sequence functions. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 2007, v:42, n:3, pp:352-388 [Journal ] Temur Kutsia , Jordi Levy , Mateu Villaret Sequence Unification Through Currying. [Citation Graph (0, 0)][DBLP ] RTA, 2007, pp:288-302 [Conf ] Jorge Coelho , Mário Florido , Temur Kutsia Sequence Disunification and Its Application in Collaborative Schema Construction. [Citation Graph (0, 0)][DBLP ] WISE Workshops, 2007, pp:91-102 [Conf ] Linear Systems for Regular Hedge Languages. [Citation Graph (, )][DBLP ] Regular Hedge Language Factorization Revisited. [Citation Graph (, )][DBLP ] Collaborative Schema Construction using Regular Sequence Types. [Citation Graph (, )][DBLP ] Order-Sorted Unification with Regular Expression Sorts. [Citation Graph (, )][DBLP ] A Rule-Based Approach to XML Processing and Web Reasoning. [Citation Graph (, )][DBLP ] Strategies in PRholog [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.002secs