Independent minimum length programs to translate between given strings

Theoretical Computer Science

Volumn 271, Issue 1-2, 2002, Pages 131-143

  Vereshchagin, Nikolai K ^a   Vyugin, Michael V ^a  

^a MOSCOW STATE UNIVERSITY   (Russian Federation)

Author keywords

Independent programs; Kolmogorov complexity

Indexed keywords

COMPUTATIONAL COMPLEXITY; THEOREM PROVING;

KOLMOGOROV COMPLEXITY;

MATHEMATICAL PROGRAMMING;

EID: 0037185198     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(01)00036-6     Document Type: Article

References (3)

1. Information distance
2. Conditional complexity and codes