Automatisierung von Terminierungsbeweisen
Vieweg+Teubner Verlag
Chapter title |
Algorithmenmodifikation
|
---|---|
Chapter number | 8 |
Book title |
Automatisierung von Terminierungsbeweisen
|
Published by |
Vieweg+Teubner Verlag, January 1991
|
DOI | 10.1007/978-3-322-85404-9_8 |
Book ISBNs |
978-3-52-804771-9, 978-3-32-285404-9
|
Authors |
Christoph Walther, Walther, Christoph |