A proof theory for general unification /
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Boston :
Birkhäuser,
1991.
|
| Series: | Progress in computer science and applied logic ;
v. 11. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Item Description: | Electronic resource. |
|---|---|
| Physical Description: | 1 online resource (vi, 175 pages) : illustrations. |
| Bibliography: | Includes bibliographical references (pages 167-175). |
| ISBN: | 9781461204350 (electronic bk.) 1461204356 (electronic bk.) |