Franz Winkler,
"The Church-Rosser Property in Computer Algebra and Special Theorem Proving: An Investigation of Critical-Pair/Completion Algorithms"
, Verband der Wissenschaftlichen Gesellschaften Österreichs, Österreich, 1984, ISBN: 3-85369-584-1
Original Titel:
The Church-Rosser Property in Computer Algebra and Special Theorem Proving: An Investigation of Critical-Pair/Completion Algorithms
Sprache des Titels:
Englisch
Veröffentlicher:
Verband der Wissenschaftlichen Gesellschaften Österreichs
Verlagsanschrift:
Österreich
Erscheinungsjahr:
1984
ISBN:
3-85369-584-1
Notiz zur Publikation:
Dissertation
(Zentralblatt für Mathematik, Vol. 562, #68023 und Matehamtical Reviews 86k:68048)