 |
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 
|
Hilfe 
|
 |
|
| Suche: Citkey="Aguzzi-Modigliani/93" |
|
Proving termination of logic programs by transforming them into equivalent term rewriting systems
G. Aguzzi, U. Modigliani
Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'93 (Bombay, India, December 15-17, 1993)
Lecture Notes in Computer Science
761
, 1993, pp. 114-124
| Editors | R.K. Shyamasundar | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest | |
| URL: |
http://dx.doi.org/10.1007/3-540-57529-4_47 | |
|
|
|
|