Unifikace v sortovaných rovnostních teoriích

• Authors: ŠMÍD Vladimír
• 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: Rector's Office
• Web: http://www.fi.muni.cz/~smid/sofsem.html