A Proof Theory for General Unification
W. SnyderCategories:
Year:
1991
Edition:
1
Publisher:
Birkhäuser Boston
Language:
english
Pages:
188
ISBN 10:
0817635939
ISBN 13:
9780817635930
Series:
Progress in Computer Science and Applied Logic 11
File:
PDF, 2.69 MB
IPFS:
,
english, 1991
This book isn't available for download due to the complaint of the copyright holder