Košík

0328129 - ÚI 2010 CZ eng A - Abstrakt
Chvalovský, Karel
Derivational complexity of {aa-->bc, bb-->ac, cc-->ab}.
ISCAMI 2009. Ostrava: Universitas Ostraviensis, 2009. s. 29-29.
[ISCAMI 2009. 13.05.2009-15.05.2009, Malenovice]
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: rewriting systems * derivational complexity * upper bounds
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0174520