Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarTemur Kutsia
Refine list
refinements active!
zoomed in on ?? of ?? records
showing all ?? records
2010 – today
- 2017
[j17]Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret:
Higher-Order Pattern Anti-Unification in Linear Time. J. Autom. Reasoning 58(2): 293-310 (2017)- [c33]
- 2016
- [i2]Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret:
Nominal Unification of Higher Order Expressions with Recursive Let. CoRR abs/1608.03771 (2016) - [j16]Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky, Wolfgang Windsteiger:
Theorema 2.0: Computer-Assisted Natural-Style Mathematics. J. Formalized Reasoning 9(1): 149-185 (2016) - [j15]Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin:
CLP(H): Constraint logic programming for hedges. TPLP 16(2): 141-162 (2016) - [c32]Besik Dundua, Temur Kutsia, Klaus Reisenberger-Hagmayer:
P-rho-Log: Combining Logic Programming with Conditional Transformation Systems. ICLP (Technical Communications) 2016: 10:1-10:5 - [c31]
- [c30]David M. Cerna, Wolfgang Schreiner, Temur Kutsia:
Predicting Space Requirements for a Stream Monitor Specification Language. RV 2016: 135-151 - [c29]David Cerna, Wolfgang Schreiner, Temur Kutsia:
Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. SCSS 2016: 29-41 - [c28]Mircea Marin, Temur Kutsia, Besik Dundua:
A rewrite-based computational model for functional logic programming. SCSS 2016: 95-106 - 2015
- [i1]Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin:
CLP(H): Constraint Logic Programming for Hedges. CoRR abs/1503.00336 (2015) - [j14]Temur Kutsia, Mircea Marin:
Regular expression order-sorted unification and matching. J. Symb. Comput. 67: 42-67 (2015) - [j13]Adel Bouhoula, Bruno Buchberger, Laura Kovács, Temur Kutsia:
Special issue on symbolic computation in software science. J. Symb. Comput. 69: 1-2 (2015) - [c27]Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret:
Nominal Anti-Unification. RTA 2015: 57-73 - [c26]Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos:
Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification. RTA 2015: 241-256 - [c25]
- 2014
- [j12]Temur Kutsia, Jordi Levy, Mateu Villaret:
Anti-unification for Unranked Terms and Hedges. J. Autom. Reasoning 52(2): 155-190 (2014) - [c24]Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin:
Constraint Logic Programming for Hedges: A Semantic Reconstruction. FLOPS 2014: 285-301 - [c23]
- [c22]
- [e5]Temur Kutsia, Andrei Voronkov:
6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014. EPiC Series in Computing 30, EasyChair 2014 [contents] - 2013
- [c21]
- [c20]Alexander Baumgartner, Temur Kutsia:
Unranked Anti-Unification with Hedge and Context Variables. UNIF@RTA/TLCA 2013: 13-21 - [c19]Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret:
A Variant of Higher-Order Anti-Unification. RTA 2013: 113-127 - [e4]Laura Kovács, Temur Kutsia:
5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria. EPiC Series in Computing 15, EasyChair 2013 [contents] - [e3]Laura Kovács, Temur Kutsia:
6th International Workshop on Automated Specification and Verification of Web Systems, WWV 2010, Vienna, Austria, July 30-31, 2010. EPiC Series in Computing 18, EasyChair 2013 [contents] - 2012
- [j11]Laura Kovács, Temur Kutsia:
Special issue on Automated Specification and Verification of Web Systems. J. Applied Logic 10(1): 1 (2012) - [c18]Temur Kutsia, Mircea Marin:
Solving, Reasoning, and Programming in Common Logic. SYNASC 2012: 119-126 - 2011
- [j10]
- [c17]Temur Kutsia, Jordi Levy, Mateu Villaret:
Anti-Unification for Unranked Terms and Hedges. RTA 2011: 219-234 - 2010
- [j9]Mircea Marin, Temur Kutsia:
On the computation of quotients and factors of regular languages. Frontiers of Computer Science in China 4(2): 173-184 (2010) - [j8]Temur Kutsia, Jordi Levy, Mateu Villaret:
On the relation between Context and Sequence Unification. J. Symb. Comput. 45(1): 74-95 (2010) - [j7]Temur Kutsia:
Symbolic computation in software science: Foreword from the editor. J. Symb. Comput. 45(5): 499-500 (2010) - [c16]Mircea Marin, Temur Kutsia:
Regular Hedge Language Factorization Revisited. Developments in Language Theory 2010: 328-339 - [c15]Jorge Coelho, Besik Dundua, Mário Florido, Temur Kutsia:
A Rule-Based Approach to XML Processing and Web Reasoning. RR 2010: 164-172 - [c14]Temur Kutsia, Mircea Marin:
Order-Sorted Unification with Regular Expression Sorts. RTA 2010: 193-208 - [e2]Temur Kutsia, Wolfgang Schreiner, Maribel Fernández:
Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria. ACM 2010, ISBN 978-1-4503-0132-9 [contents]
2000 – 2009
- 2009
- [c13]Mircea Marin, Temur Kutsia:
Linear Systems for Regular Hedge Languages. ADBIS (Workshops) 2009: 104-112 - [c12]Jorge Coelho, Mário Florido, Temur Kutsia:
Collaborative Schema Construction using Regular Sequence Types. IRI 2009: 290-295 - [c11]
- 2008
- [j6]
- 2007
- [j5]Temur Kutsia:
Solving equations with sequence variables and sequence functions. J. Symb. Comput. 42(3): 352-388 (2007) - [c10]
- [c9]Jorge Coelho, Mário Florido, Temur Kutsia:
Sequence Disunification and Its Application in Collaborative Schema Construction. WISE Workshops 2007: 91-102 - [e1]Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia:
Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings. Lecture Notes in Computer Science 4545, Springer 2007, ISBN 978-3-540-73432-1 [contents] - 2006
- [j4]Temur Kutsia:
Context Sequence Matching for XML. Electr. Notes Theor. Comput. Sci. 157(2): 47-65 (2006) - [j3]Mircea Marin, Temur Kutsia:
Foundations of the rule-based system rLog. Journal of Applied Non-Classical Logics 16(1-2): 151-168 (2006) - [j2]Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger:
Theorema: Towards computer-aided mathematical theory exploration. J. Applied Logic 4(4): 470-504 (2006) - 2005
- [c8]
- [c7]Florina Piroi, Temur Kutsia:
The Theorema Environment for Interactive Proof Development. LPAR 2005: 261-275 - [c6]
- 2004
- [c5]Temur Kutsia:
Solving Equations Involving Sequence Variables and Sequence Functions. AISC 2004: 157-170 - [c4]Temur Kutsia, Bruno Buchberger:
Predicate Logic with Sequence Variables and Sequence Function Symbols. MKM 2004: 205-219 - 2003
- [c3]
- 2002
- [j1]Temur Kutsia:
Pattern Unification with Sequence Variables, Flexible Arity Symbols. Electr. Notes Theor. Comput. Sci. 66(5): 52-69 (2002) - [c2]Temur Kutsia:
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms. AISC 2002: 290-304 - [c1]Temur Kutsia:
Theorem Proving with Sequence Variables and Flexible Arity Symbols. LPAR 2002: 278-291
Coauthor Index
maintained by 
at 
at 
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-06-17 01:03 CEST by the dblp team