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 ze semináře LOP '89. |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | http://www.fi.muni.cz/~smid/lop.html |
| Autoři | |
|---|---|
| Rok publikování | 1989 |
| Druh | Článek ve sborníku |
| Konference | Sborník ze semináře LOP '89. |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | http://www.fi.muni.cz/~smid/lop.html |