Title information : ACM Transactions on Computational Logic Issue data : 2005 Year, No. : Vol. 6, No. 3, rok 2005 Collective Record/Entry : \q12**1 stu124856 \q ACM Transactions on Computational Logic Document kind : ročník a/alebo číslo časopisu References : \q2479**1 stu_us_cat*stu158768*xcla \q (1) - článok