P.III.68849 


W i n k 1 er, Franz: The Church-RosserProperty 
in computer algebra and special 
theorem proving. An investigation of 
critical pair, completion algorithms. 0 
/Mit Abb./ -Wien: VWGÖ 1984. 198 S. 8 

(Dissertatione d. Johannes Kep1er Univ. 
'Linz. 49.)