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 |