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="Snyder, W."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Metadata management and the VISTA system
E.G. Dombrowski
,
W.A. Snyder
,
H.M. Heckathorn
Proceedings of the Twenty-Seventh Annual Hawaii International Conference on System Sciences, HICSS-27. Vol.~III: Information Systems: Decision Support and Knowledge-Based Systems (Wailea, Hawaii, January 4-7, 1994)
, 1994, pp. 418-427
An algorithm for finding canonical sets of ground rewrite rules in polynomial time
J. Gallier
,
P. Narendran
,
D. Plaisted
,
S. Raatz
,
W. Snyder
Journal of the ACM
40
(1), 1993, January, pp. 1-16
Theorem proving using equational matings and rigid
E
-unification
J. Gallier
,
P. Narendran
,
S. Raatz
,
W. Snyder
Journal of the ACM
39
(2), 1992, April, pp. 377-429