The Church-Rosser Property in Computer Algebra and Special Theorem Proving: An Investigation of Critical-Pair/Completion Algorithms

Research output: Book › Monograph

Original language	English
Place of Publication	Österreich
Publisher	Verband der Wissenschaftlichen Gesellschaften Österreichs
ISBN (Print)	3-85369-584-1
Publication status	Published - 1984

Fields of science

@book{a2215b48bbe945ddb88cca3bc6155848,

title = "The Church-Rosser Property in Computer Algebra and Special Theorem Proving: An Investigation of Critical-Pair/Completion Algorithms",

author = "Franz Winkler",

year = "1984",

language = "English",

isbn = "3-85369-584-1",

publisher = "Verband der Wissenschaftlichen Gesellschaften {\"O}sterreichs",

}

TY - BOOK

T1 - The Church-Rosser Property in Computer Algebra and Special Theorem Proving: An Investigation of Critical-Pair/Completion Algorithms

AU - Winkler, Franz

PY - 1984

Y1 - 1984

M3 - Monograph

SN - 3-85369-584-1

BT - The Church-Rosser Property in Computer Algebra and Special Theorem Proving: An Investigation of Critical-Pair/Completion Algorithms

PB - Verband der Wissenschaftlichen Gesellschaften Österreichs

CY - Österreich

ER -