| 2007 |
|---|
| 16 | | Hirokazu Anai,
Katsuhisa Horimoto,
Temur Kutsia:
Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings
Springer 2007 |
| 15 | EE | Temur Kutsia,
Jordi Levy,
Mateu Villaret:
Sequence Unification Through Currying.
RTA 2007: 288-302 |
| 14 | EE | Jorge Coelho,
Mário Florido,
Temur Kutsia:
Sequence Disunification and Its Application in Collaborative Schema Construction.
WISE Workshops 2007: 91-102 |
| 13 | EE | Temur Kutsia:
Solving equations with sequence variables and sequence functions.
J. Symb. Comput. 42(3): 352-388 (2007) |
| 2006 |
|---|
| 12 | EE | Temur Kutsia:
Context Sequence Matching for XML.
Electr. Notes Theor. Comput. Sci. 157(2): 47-65 (2006) |
| 11 | EE | 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.
J. Applied Logic 4(4): 470-504 (2006) |
| 10 | | Mircea Marin,
Temur Kutsia:
Foundations of the rule-based system rLog.
Journal of Applied Non-Classical Logics 16(1-2): 151-168 (2006) |
| 2005 |
|---|
| 9 | EE | Temur Kutsia,
Mircea Marin:
Matching with Regular Constraints.
LPAR 2005: 215-229 |
| 8 | EE | Florina Piroi,
Temur Kutsia:
The Theorema Environment for Interactive Proof Development.
LPAR 2005: 261-275 |
| 7 | | Temur Kutsia:
Context Sequence Matching for XML.
WWV 2005: 103-119 |
| 2004 |
|---|
| 6 | EE | Temur Kutsia:
Solving Equations Involving Sequence Variables and Sequence Functions.
AISC 2004: 157-170 |
| 5 | EE | Temur Kutsia,
Bruno Buchberger:
Predicate Logic with Sequence Variables and Sequence Function Symbols.
MKM 2004: 205-219 |
| 2003 |
|---|
| 4 | EE | Temur Kutsia:
Equational Prover of THEOREMA.
RTA 2003: 367-379 |
| 2002 |
|---|
| 3 | EE | Temur Kutsia:
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms.
AISC 2002: 290-304 |
| 2 | EE | Temur Kutsia:
Theorem Proving with Sequence Variables and Flexible Arity Symbols.
LPAR 2002: 278-291 |
| 1 | EE | Temur Kutsia:
Pattern Unification with Sequence Variables, Flexible Arity Symbols.
Electr. Notes Theor. Comput. Sci. 66(5): (2002) |
