Publication details

 

Unifikace v sortovaných rovnostních teoriích

Basic information
Original title:Unifikace v sortovaných rovnostních teoriích
Author:Vladimír Šmíd
Further information
Citation:
Export BibTeX
WWW:link to a new windowhttp://www.fi.muni.cz/~smid/sofsem.html
Type:Article in Proceedings