Rok:2006
Typ:Článek v odborném periodiku
Periodikum:Journal of Logic and Computation
DOI: 10.1093/logcom/exi075 ID: 45161
Autoři:
Článek v odborném periodiku
Oddělení: Oddělení teoretické informatiky
Projekty: Institut Teoretické Informatiky