Temur Kutsia

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Alexander Baumgartner

> Home > Persons > Temur Kutsia

Publications

2018
[c41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/rta/BaumgartnerKLV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/BaumgartnerKLV18
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret:
Term-Graph Anti-Unification. FSCD 2018: 9:1-9:17
2017
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BaumgartnerK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BaumgartnerK17
Alexander Baumgartner, Temur Kutsia:
Unranked second-order anti-unification. Inf. Comput. 255: 262-286 (2017)
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/BaumgartnerKLV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BaumgartnerKLV17
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret:
Higher-Order Pattern Anti-Unification in Linear Time. J. Autom. Reason. 58(2): 293-310 (2017)
2015
[c31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/rta/BaumgartnerKLV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/BaumgartnerKLV15
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret:
Nominal Anti-Unification. RTA 2015: 57-73
2014
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/BaumgartnerK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/BaumgartnerK14
Alexander Baumgartner, Temur Kutsia:
A Library of Anti-unification Algorithms. JELIA 2014: 543-557
[c26]
- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/BaumgartnerKLV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/BaumgartnerKLV14
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret:
Nominal Anti-Unification. UNIF 2014: 62-68
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/BaumgartnerK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/BaumgartnerK14
Alexander Baumgartner, Temur Kutsia:
Unranked Second-Order Anti-Unification. WoLLIC 2014: 66-80
2013
[c23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/rta/BaumgartnerK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/BaumgartnerK13
Alexander Baumgartner, Temur Kutsia:
Unranked Anti-Unification with Hedge and Context Variables. UNIF@RTA/TLCA 2013: 13-21
[c22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/rta/BaumgartnerKLV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/BaumgartnerKLV13
Alexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret:
A Variant of Higher-Order Anti-Unification. RTA 2013: 113-127

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.