Košík

0328399 - ÚI 2010 DE eng A - Abstrakt
Chvalovský, Karel
Derivational complexity of {aa-->bc, bb-->ac, cc-->ab}.
10th International Workshop on Termination WST 2009. Leipzig: HTWK, 2009 - (Geser, A.; Waldmann, J.). s. 28-30
[WST 2009. International Workshop on Termination /10./. 03.06.2009-05.06.2009, Leipzig]
Grant CEP: GA ČR GD401/09/H007
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/0174723