Derivational complexity of {aa-->bc, bb-->ac, cc-->ab} Bibliografické údaje Autoři Karel Chvalovský Rok vydání 2009 Typ publikace Abstrakt Periodikum 10th International Workshop on Termination WST 2009 Projekty Logické základy sémantiky Bibliografická citace 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
