Search Results - "Progress in computer science and applied logic"
-
1
A proof theory for general unification
Published 1991“…Progress in Computer Science and Applied Logic…”
Click Here to View Status and Holdings.
Unknown -
2
Logical methods in honor of Anil Nerode's sixtieth birthday
Published 1993“…Progress in computer science and applied logic…”
Click Here to View Status and Holdings.
Unknown