Logical operations and Kolmogorov complexity

Theoretical Computer Science

Volumn 271, Issue 1-2, 2002, Pages 125-129

  Shen, Alexander ^a   Vereshchagin, Nikolai ^b  

^a INDEPENDENT UNIVERSITY OF MOSCOW   (Russian Federation)

^b MOSCOW STATE UNIVERSITY   (Russian Federation)

Author keywords

Intuitionistic logic; Kolmogorov complexity; Realizability

Indexed keywords

FORMAL LOGIC; MATHEMATICAL PROGRAMMING; PROBLEM SOLVING; SET THEORY;

INTUITIONISTIC LOGICS; KOLMOGOROV COMPLEXITY;

COMPUTATIONAL COMPLEXITY;

EID: 0037185205     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(01)00035-4     Document Type: Article

References (4)

1. Thermodynamics of Computation and Information Distance
2. Zur Deutung der Intuitionistischen Logik
3. Algorithmic variants of entropy