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="Levy, Jordi"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On the relation between Context and Sequence Unification
Temur Kutsia
,
Jordi Levy
,
Mateu Villaret
Journal Symbolic Computation
45
(1), 2010, pp. 74-95
The complexity of monadic second-order unification
Jordi Levy
,
Manfred Schmidt-Schauß
,
Mateu Villaret
SIAM Journal on Computing
38
(3), 2008, pp. 1113-1140
On the undecidability of second-order unification
Jordi Levy
,
Margus Veanes
Information and Computation
159
(1-2), 2000, pp. 125-150
Bi-rewrite systems
Jordi Levy
,
Jaume Agustí
Journal Symbolic Computation
22
(3), 1996, pp. 279-314