Number of the records: 1
Derivational complexity of {aa-->bc, bb-->ac, cc-->ab}
- 1.0328129 - ÚI 2010 CZ eng A - Abstract
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]
Institutional research plan: CEZ:AV0Z10300504
Keywords : rewriting systems * derivational complexity * upper bounds
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0174520
Number of the records: 1