Completeness of many-sorted equational logic
Author(s)
Bibliographic Information
Completeness of many-sorted equational logic
(Report (Center for the Study of Language and Information (U.S.)), no. CSLI-84-15)
Center for the Study of Language and Information, 1984
Available at / 2 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
"September 1984"
Bibliography: p. 25-28
***記述は遡及データによる