Number of the records: 1
Derivational complexity of {aa-->bc, bb-->ac, cc-->ab}
- 1.0328399 - ÚI 2010 DE eng A - Abstract
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]
R&D Projects: GA ČR GD401/09/H007
Institutional research plan: CEZ:AV0Z10300504
Keywords : rewriting systems * derivational complexity * upper bounds
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0174723
Number of the records: 1