 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen  [1]
|
Hilfe 
|
 |
|
| Suche: Citkey="Kaji-Fujiwara-Kasami/94" |
|
Solving a unification problem under constrained substitutions using tree automata
Yuichi Kaji, Toru Fujiwara, Tadao Kasami
Proceedings of the 14th Conference on Foundations of Software Technology and Theoretical Computer Science (Madras, India, December 15-17, 1994)
Lecture Notes in Computer Science
880
, 1994, pp. 276-287
| Editors | P.S. Thiagarajan | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest | |
|
|
|
|