Rok:2009
Typ:Článek v odborném periodiku
Periodikum:Annals of Pure and Applied Logic
DOI: 10.1016/j.apal.2009.05.012 ID: 332835
Autoři:
Článek v odborném periodiku
Oddělení: Oddělení teoretické informatiky
Projekty: Dynamické formální systémy