Definability and compression

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2000, Pages 63-73

  Afrati, Foto ^a   Leiβ, Hans ^b   De Rougemont, Michel ^c  

^a NATIONAL TECHNICAL UNIVERSITY OF ATHENS   (Greece)

^b UNIVERSITY OF MUNICH   (Germany)

^c UNIVERSITÉ PANTHÉON ASSAS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; DATA STRUCTURES; FORMAL LOGIC; MULTIMEDIA SYSTEMS; PATTERN MATCHING;

DEFINABILITY; FIRST ORDER LOGIC; LEMPEL-ZIV COMPRESSED STRINGS;

DATA COMPRESSION;

EID: 0033711814     PISSN: 10436871     EISSN: None     Source Type: Journal    
DOI: 10.1109/LICS.2000.855756     Document Type: Article

References (12)

1. T. C. Bell J. G. Cleary I. H. Witten Text Compression 1990 Prentice Hall NJ, Englewood Cliffs
2. J. R. Büchi On a decision method in restricted second order arithmetic Information and the Philosophy of Science 1 Information and the Philosophy of Science 1962
3. T. Cover J. Thomas Elements of Information Theory 1991 John Wiley
4. M. Crochemore F. Mignoni A. Restive S. Salemi Text compression using antidictionaries 26th International Colloquium on Automata, Languages and Programming, ICALP'99 1644 26th International Colloquium on Automata, Languages and Programming, ICALP'99 Prague 1999-July-11-15
5. S. de Agostino P-complete problems in data compression Theoretical Computer Science 127 181 186 1994
6. H.-D. Ebbinghaus J. Flum Finite Model Theory 1991 Springer-Verlag
7. C. Elgot Decision problems of finite automata design and related arithmetics Transactions of the American Mathematical Society 98 21 52 1961
8. M. Farach String matching in Lempel-Ziv compressed strings ACM Symposium on the Theory of Computing ACM Symposium on the Theory of Computing 1991
9. U. Manber Combinatorial Pattern Matching 807 113 124 1994 Springer Verlag Berlin A text compression scheme that allows fast searching directly in the compressed file
10. R. McNaughton Elementary computability, formal languages, and automat 1982 Prentice-Hall N.J., Englewood Cliffs
11. Y. Shibata M. Takeda A. Shinohara S. Arikawa Pattern matching in text compression by using antidictionaries 10th Annual Symposium on Combinatorial Pattern Matching, CPM'99 1645 10th Annual Symposium on Combinatorial Pattern Matching, CPM'99 Warwick 1999-July-22-24
12. J. Ziv A. Lempel Compression of individual sequences via variable-rate coding IEEE Transactions on Information Theory 530 536 1978