Properties of SLUR Formulae. Proceedings of SOFSEM 2012

ČEPEK, Ondřej, Petr KUČERA and V. VLČEK

38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, p. pp. 177-189, 2012

Springer Verlag

English

Stať ve sborníku

10201 Computer sciences, information science, bioinformatics

není předmětem státního či obchodního tajemství

University of Finance and Administration

978-3-642-27659-0

AR 2011-2012, NE VŠFS

International impact, Reviewed