Informace o publikaci
Unifikace v sortovaných rovnostních teoriích
Autoři | |
---|---|
Rok publikování | 1989 |
Druh | Článek ve sborníku |
Konference | Sborník krátkých referátů ze semináře SOFSEM '89 |
Fakulta / Pracoviště MU | |
Citace | |
www | http://www.fi.muni.cz/~smid/sofsem.html |