Publication at Faculty of Mathematics and Physics |
2010
Abstract
We propose a new algorithm for automated compression of arbitrary sets of terms by invention of new definitions.
We propose a new algorithm for automated compression of arbitrary sets of terms by invention of new definitions.