The SCEAS System
| |||||||

## 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.033secs, Finished in 0.035secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |