![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Temur Kutsia
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
- [j27]Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia
:
Preface. Ann. Math. Artif. Intell. 91(5): 563-565 (2023) - [j26]Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia:
Correction to: Preface. Ann. Math. Artif. Intell. 91(5): 567 (2023) - 2022
- [j25]Temur Kutsia
, Andrew M. Marshall
:
Preface. Ann. Math. Artif. Intell. 90(5): 453-454 (2022) - [j24]Manfred Schmidt-Schauß
, Temur Kutsia
, Jordi Levy
, Mateu Villaret
, Yunus D. K. Kutz
:
Nominal Unification and Matching of Higher Order Expressions with Recursive Let. Fundam. Informaticae 185(3): 247-283 (2022) - 2021
- [j23]Besik Dundua, Temur Kutsia
, Mircea Marin:
Variadic equational matching in associative and commutative theories. J. Symb. Comput. 106: 78-109 (2021) - 2020
- [j22]Ilias S. Kotsireas, Temur Kutsia
, Dimitris E. Simos
:
Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques. Ann. Math. Artif. Intell. 88(1-3): 213-236 (2020) - [j21]Manfred Droste, Temur Kutsia
, George Rahonis
, Wolfgang Schreiner
:
McCarthy-Kleene fuzzy automata and MSO logics. Inf. Comput. 272: 104499 (2020) - [j20]David M. Cerna
, Temur Kutsia
:
Higher-order pattern generalization modulo equational theories. Math. Struct. Comput. Sci. 30(6): 627-663 (2020) - [j19]David M. Cerna
, Temur Kutsia
:
Idempotent Anti-unification. ACM Trans. Comput. Log. 21(2): 10:1-10:32 (2020) - 2019
- [j18]James Harold Davenport
, Temur Kutsia
:
Symbolic computation in software science. J. Symb. Comput. 90: 1-2 (2019) - 2018
- [j17]Sandra Alves, Besik Dundua, Mário Florido
, Temur Kutsia
:
Pattern-based calculi with finitary matching. Log. J. IGPL 26(2): 203-243 (2018) - 2017
- [j16]Alexander Baumgartner, Temur Kutsia
:
Unranked second-order anti-unification. Inf. Comput. 255: 262-286 (2017) - [j15]Alexander Baumgartner, Temur Kutsia
, Jordi Levy
, Mateu Villaret
:
Higher-Order Pattern Anti-Unification in Linear Time. J. Autom. Reason. 58(2): 293-310 (2017) - 2016
- [j14]Bruno Buchberger, Tudor Jebelean, Temur Kutsia, Alexander Maletzky
, Wolfgang Windsteiger:
Theorema 2.0: Computer-Assisted Natural-Style Mathematics. J. Formaliz. Reason. 9(1): 149-185 (2016) - [j13]Besik Dundua, Mário Florido
, Temur Kutsia
, Mircea Marin
:
CLP(H): Constraint logic programming for hedges. Theory Pract. Log. Program. 16(2): 141-162 (2016) - 2015
- [j12]Temur Kutsia
, Mircea Marin
:
Regular expression order-sorted unification and matching. J. Symb. Comput. 67: 42-67 (2015) - [j11]Adel Bouhoula, Bruno Buchberger, Laura Kovács
, Temur Kutsia
:
Special issue on symbolic computation in software science. J. Symb. Comput. 69: 1-2 (2015) - 2014
- [j10]Temur Kutsia
, Jordi Levy
, Mateu Villaret
:
Anti-unification for Unranked Terms and Hedges. J. Autom. Reason. 52(2): 155-190 (2014) - 2012
- [j9]Laura Kovács
, Temur Kutsia
:
Special issue on Automated Specification and Verification of Web Systems. J. Appl. Log. 10(1): 1 (2012) - 2011
- [j8]Demis Ballis, Temur Kutsia:
Foreword. J. Symb. Comput. 46(2): 93-94 (2011) - 2010
- [j7]Mircea Marin
, Temur Kutsia
:
On the computation of quotients and factors of regular languages. Frontiers Comput. Sci. China 4(2): 173-184 (2010) - [j6]Temur Kutsia
, Jordi Levy
, Mateu Villaret
:
On the relation between Context and Sequence Unification. J. Symb. Comput. 45(1): 74-95 (2010) - [j5]Temur Kutsia
:
Symbolic computation in software science: Foreword from the editor. J. Symb. Comput. 45(5): 499-500 (2010) - 2008
- [j4]Temur Kutsia
:
Flat matching. J. Symb. Comput. 43(12): 858-873 (2008) - 2007
- [j3]Temur Kutsia
:
Solving equations with sequence variables and sequence functions. J. Symb. Comput. 42(3): 352-388 (2007) - 2006
- [j2]Mircea Marin
, Temur Kutsia
:
Foundations of the rule-based system rLog. J. Appl. Non Class. Logics 16(1-2): 151-168 (2006) - [j1]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. Appl. Log. 4(4): 470-504 (2006)
Conference and Workshop Papers
- 2024
- [c58]Mauricio Ayala-Rincón
, David M. Cerna
, Andres Felipe Gonzalez Barragan, Temur Kutsia
:
Equational Anti-unification over Absorption Theories. IJCAR (2) 2024: 317-337 - [c57]Georg Ehling
, Temur Kutsia
:
Solving Quantitative Equations. IJCAR (2) 2024: 381-400 - 2023
- [c56]David M. Cerna
, Temur Kutsia:
Anti-unification and Generalization: A Survey. IJCAI 2023: 6563-6573 - [c55]Mauricio Ayala-Rincón
, Maribel Fernández
, Gabriel Ferreira Silva
, Temur Kutsia
, Daniele Nantes-Sobrinho
:
Nominal AC-Matching. CICM 2023: 53-68 - [c54]Mircea Marin, Temur Kutsia, Cleo Pau, Mikheil Rukhaia:
Enumerating All Maximal Clique-Partitions of an Undirected Graph. FROM 2023: 65-79 - 2022
- [c53]Temur Kutsia
, Cleo Pau:
A Framework for Approximate Generalization in Quantitative Theories. IJCAR 2022: 578-596 - 2021
- [c52]Cleo Pau, Temur Kutsia
:
Proximity-Based Unification and Matching for Fully Fuzzy Signatures. FUZZ-IEEE 2021: 1-6 - 2020
- [c51]David M. Cerna
, Temur Kutsia
:
Unital Anti-Unification: Type and Algorithms. FSCD 2020: 26:1-26:20 - [c50]Besik Dundua, Temur Kutsia
, Mircea Marin, Ioana-Cleopatra Pau:
Constraint Solving over Multiple Similarity Relations. FSCD 2020: 30:1-30:19 - [c49]Temur Kutsia, Cleo Pau:
Proximity-Based Unification with Arity Mismatch. UNIF 2020: 9:1-9:6 - [c48]Mircea Marin, Besik Dundua, Temur Kutsia
:
A Rule-Based System for Computation and Deduction in Mathematica. WRLA@ETAPS 2020: 57-74 - 2019
- [c47]Temur Kutsia
, Cleo Pau:
Solving Proximity Constraints. LOPSTR 2019: 107-122 - [c46]Besik Dundua, Temur Kutsia
, Mircea Marin
:
Variadic Equational Matching. CICM 2019: 77-92 - [c45]David M. Cerna
, Temur Kutsia
:
A Generic Framework for Higher-Order Generalizations. FSCD 2019: 10:1-10:19 - [c44]Mircea Marin
, Temur Kutsia, Besik Dundua:
A Rule-based Approach to the Decidability of Safety of ABACα. SACMAT 2019: 173-178 - [c43]Besik Dundua, Temur Kutsia
, Mikheil Rukhaia:
Unranked Nominal Unification. TbiLLC 2019: 279-296 - [c42]Temur Kutsia
, Cleo Pau:
Matching and Generalization Modulo Proximity and Tolerance Relations. TbiLLC 2019: 323-342 - 2018
- [c41]Alexander Baumgartner, Temur Kutsia
, Jordi Levy
, Mateu Villaret
:
Term-Graph Anti-Unification. FSCD 2018: 9:1-9:17 - [c40]David M. Cerna
, Temur Kutsia
:
Higher-Order Equational Pattern Anti-Unification. FSCD 2018: 12:1-12:17 - 2017
- [c39]Besik Dundua, Temur Kutsia
, Klaus Reisenberger-Hagmayer:
An Overview of PρLog. PADL 2017: 34-49 - [c38]Manfred Droste, Temur Kutsia
, George Rahonis
, Wolfgang Schreiner
:
MK-fuzzy Automata and MSO Logics. GandALF 2017: 106-120 - 2016
- [c37]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 - [c36]Boris Konev, Temur Kutsia:
Anti-Unification of Concepts in Description Logic EL. KR 2016: 227-236 - [c35]Manfred Schmidt-Schauß, Temur Kutsia
, Jordi Levy
, Mateu Villaret
:
Nominal Unification of Higher Order Expressions with Recursive Let. LOPSTR 2016: 328-344 - [c34]David M. Cerna, Wolfgang Schreiner
, Temur Kutsia
:
Predicting Space Requirements for a Stream Monitor Specification Language. RV 2016: 135-151 - [c33]David M. Cerna
, Wolfgang Schreiner, Temur Kutsia:
Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. SCSS 2016: 29-41 - [c32]Mircea Marin, Temur Kutsia, Besik Dundua:
A rewrite-based computational model for functional logic programming. SCSS 2016: 95-106 - 2015
- [c31]Alexander Baumgartner, Temur Kutsia
, Jordi Levy
, Mateu Villaret
:
Nominal Anti-Unification. RTA 2015: 57-73 - [c30]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 - [c29]Besik Dundua, Mário Florido
, Temur Kutsia:
Lambda Calculus with Regular Types. SYNASC 2015: 129-136 - 2014
- [c28]Besik Dundua, Mário Florido
, Temur Kutsia
, Mircea Marin
:
Constraint Logic Programming for Hedges: A Semantic Reconstruction. FLOPS 2014: 285-301 - [c27]Alexander Baumgartner, Temur Kutsia
:
A Library of Anti-unification Algorithms. JELIA 2014: 543-557 - [c26]Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret:
Nominal Anti-Unification. UNIF 2014: 62-68 - [c25]Alexander Baumgartner, Temur Kutsia
:
Unranked Second-Order Anti-Unification. WoLLIC 2014: 66-80 - 2013
- [c24]Temur Kutsia:
Anti-Unification: Algorithms and Applications. UNIF@RTA/TLCA 2013: 2 - [c23]Alexander Baumgartner, Temur Kutsia:
Unranked Anti-Unification with Hedge and Context Variables. UNIF@RTA/TLCA 2013: 13-21 - [c22]Alexander Baumgartner, Temur Kutsia
, Jordi Levy
, Mateu Villaret
:
A Variant of Higher-Order Anti-Unification. RTA 2013: 113-127 - 2012
- [c21]Temur Kutsia, Mircea Marin
:
Solving, Reasoning, and Programming in Common Logic. SYNASC 2012: 119-126 - 2011
- [c20]Temur Kutsia
, Jordi Levy
, Mateu Villaret
:
Anti-Unification for Unranked Terms and Hedges. RTA 2011: 219-234 - 2010
- [c19]Mircea Marin
, Temur Kutsia
:
Regular Hedge Language Factorization Revisited. Developments in Language Theory 2010: 328-339 - [c18]Jorge Coelho
, Besik Dundua, Mário Florido
, Temur Kutsia
:
A Rule-Based Approach to XML Processing and Web Reasoning. RR 2010: 164-172 - [c17]Temur Kutsia, Mircea Marin:
Order-Sorted Unification with Regular Expression Sorts. RTA 2010: 193-208 - 2009
- [c16]Mircea Marin
, Temur Kutsia
:
Linear Systems for Regular Hedge Languages. ADBIS (Workshops) 2009: 104-112 - [c15]Jorge Coelho
, Mário Florido
, Temur Kutsia:
Collaborative Schema Construction using Regular Sequence Types. IRI 2009: 290-295 - [c14]Besik Dundua, Temur Kutsia
, Mircea Marin
:
Strategies in PRholog. WRS 2009: 32-43 - 2008
- [c13]Mircea Marin, Temur Kutsia:
Matching with Membership Constraints for Hedge and Context Variables. UNIF 2008: 55-68 - 2007
- [c12]Temur Kutsia
, Jordi Levy, Mateu Villaret
:
Sequence Unification Through Currying. RTA 2007: 288-302 - [c11]Jorge Coelho
, Mário Florido, Temur Kutsia
:
Sequence Disunification and Its Application in Collaborative Schema Construction. WISE Workshops 2007: 91-102 - 2005
- [c10]Temur Kutsia
, Mircea Marin
:
Matching with Regular Constraints. LPAR 2005: 215-229 - [c9]Florina Piroi
, Temur Kutsia
:
The Theorema Environment for Interactive Proof Development. LPAR 2005: 261-275 - [c8]Temur Kutsia:
Context Sequence Matching for XML. WWV 2005: 103-119 - [c7]Temur Kutsia
:
Context Sequence Matching for XML. WWV 2005: 47-65 - 2004
- [c6]Temur Kutsia
:
Solving Equations Involving Sequence Variables and Sequence Functions. AISC 2004: 157-170 - [c5]Temur Kutsia
, Bruno Buchberger:
Predicate Logic with Sequence Variables and Sequence Function Symbols. MKM 2004: 205-219 - 2003
- [c4]Temur Kutsia
:
Equational Prover of THEOREMA. RTA 2003: 367-379 - 2002
- [c3]Temur Kutsia:
Unification with Sequence Variables and Flexible Arity Symbols and Its Extension with Pattern-Terms. AISC 2002: 290-304 - [c2]Temur Kutsia
:
Theorem Proving with Sequence Variables and Flexible Arity Symbols. LPAR 2002: 278-291 - [c1]Temur Kutsia
:
Pattern Unification with Sequence Variables, Flexible Arity Symbols. UNCL@ICALP 2002: 52-69
Parts in Books or Collections
- 2009
- [p1]Tudor Jebelean, Bruno Buchberger, Temur Kutsia, Nikolaj Popov, Wolfgang Schreiner, Wolfgang Windsteiger:
Automated Reasoning. Hagenberg Research 2009: 63-101
Editorship
- 2024
- [e12]Yves Bertot
, Temur Kutsia
, Michael Norrish
:
15th International Conference on Interactive Theorem Proving, ITP 2024, September 9-14, 2024, Tbilisi, Georgia. LIPIcs 309, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-337-9 [contents] - [e11]Temur Kutsia, Daniel Ventura, David Monniaux, José F. Morales:
Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, LSFA/HCVS 2023, and 10th Workshop on Horn Clauses for Verification and SynthesisRome, Italy & Paris, France, 1-2 July, 2023 & 23rd April 2023. EPTCS 402, 2024 [contents] - 2022
- [e10]Kevin Buzzard
, Temur Kutsia
:
Intelligent Computer Mathematics - 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings. Lecture Notes in Computer Science 13467, Springer 2022, ISBN 978-3-031-16680-8 [contents] - 2021
- [e9]Temur Kutsia:
Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021. EPTCS 342, 2021 [contents] - 2020
- [e8]Temur Kutsia, Andrew M. Marshall:
Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020. 2020 [contents] - 2017
- [e7]Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos:
Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings. Lecture Notes in Computer Science 10693, Springer 2017, ISBN 978-3-319-72452-2 [contents] - 2014
- [e6]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] - [e5]Temur Kutsia, Christophe Ringeissen:
Proceedings of the 28th International Workshop on Unification, UNIF 2014, Vienna, Austria, July 13, 2014. 2014 [contents] - 2013
- [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] - 2010
- [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] - 2007
- [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]
Informal and Other Publications
- 2023
- [i6]David M. Cerna, Temur Kutsia:
Anti-unification and Generalization: A Survey. CoRR abs/2302.00277 (2023) - [i5]Mauricio Ayala-Rincón, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia:
Equational Anti-Unification over Absorption Theories. CoRR abs/2310.11136 (2023) - 2021
- [i4]Manfred Schmidt-Schauß, Temur Kutsia, Jordi Levy, Mateu Villaret, Yunus D. K. Kutz:
Nominal Unification and Matching of Higher Order Expressions with Recursive Let. CoRR abs/2102.08146 (2021) - 2018
- [i3]David M. Cerna, Temur Kutsia:
Higher-Order Equational Pattern Anti-Unification [Preprint]. CoRR abs/1801.07438 (2018) - 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) - 2015
- [i1]Besik Dundua, Mário Florido
, Temur Kutsia, Mircea Marin:
CLP(H): Constraint Logic Programming for Hedges. CoRR abs/1503.00336 (2015)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-06 00:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint