Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Kutsia, Temur"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Regular expression order-sorted unification and matching
Temur Kutsia
,
Mircea Marin
Journal Symbolic Computation
67
, 2015, pp. 42-67
On the relation between Context and Sequence Unification
Temur Kutsia
,
Jordi Levy
,
Mateu Villaret
Journal Symbolic Computation
45
(1), 2010, pp. 74-95
Automated reasoning
Tudor Jebelean
,
Bruno Buchberger
,
Temur Kutsia
,
Nikolaj Popov
,
Wolfgang Schreiner
,
Wolfgang Windsteiger
Hagenberg-Research, 2009, pp. 63-101
Flat matching
Temur Kutsia
Journal Symbolic Computation
43
(12), 2008, pp. 858-873
Solving equations with sequence variables and sequence functions
Temur Kutsia
Journal Symbolic Computation
42
(3), 2007, pp. 352-388