Derivational complexity of {aa-->bc, bb-->ac, cc-->ab}
Bibliographic details
- Authors
- Karel Chvalovský
- Publication year
- Publication type
- Abstrakt
- Periodical
- 10th International Workshop on Termination WST 2009
- Projects
- Bibliographic citation
- CHVALOVSKÝ, Karel. Derivational complexity of {aa-->bc, bb-->ac, cc-->ab}. In: GESER, A., WALDMANN, J., eds. 10th International Workshop on Termination WST 2009. Leipzig: HTWK, 2009, S. 28-30.
- ID
- 328399