Other formats:
BibTeX
LaTeX
RIS
@inproceedings{4057, author = {Čepek, Ondřej and Kučera, Petr and Vlček, V.}, booktitle = {38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn}, language = {eng}, isbn = {978-3-642-27659-0}, pages = {pp. 177-189}, publisher = {Springer Verlag}, title = {Properties of SLUR Formulae. Proceedings of SOFSEM 2012}, year = {2012} }
TY - JOUR ID - 4057 AU - Čepek, Ondřej - Kučera, Petr - Vlček, V. PY - 2012 TI - Properties of SLUR Formulae. Proceedings of SOFSEM 2012 PB - Springer Verlag SN - 9783642276590 ER -
ČEPEK, Ondřej, Petr KUČERA and V. VLČEK. Properties of SLUR Formulae. Proceedings of SOFSEM 2012. In \textit{38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn}. Springer Verlag, 2012, p.~pp. 177-189. ISBN~978-3-642-27659-0.
|