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
Hilfe
Suche: Author="Zhang, Xubo"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Some results on the containment and minimization of (in)equality queries
Xubo Zhang
,
Z. Meral Ozsoyoglu
Information Processing Letters
50
, 1994, pp. 259-267
Overlap closures do not suffice for termination of general term rewriting systems
Xubo Zhang
Information Processing Letters
37
, 1991, pp. 9-11