Publication details
Unifikace v sortovaných rovnostních teoriích
Authors | |
---|---|
Year of publication | 1989 |
Type | Article in Proceedings |
Conference | Sborník krátkých referátů ze semináře SOFSEM '89 |
MU Faculty or unit | |
Citation | |
Web | http://www.fi.muni.cz/~smid/sofsem.html |