On the Length of Programs for Computing Finite Binary Sequences
Journal of the ACM (JACM)
A Machine-Independent Theory of the Complexity of Recursive Functions
Journal of the ACM (JACM)
On the Length of Programs for Computing Finite Binary Sequences: statistical considerations
Journal of the ACM (JACM)
Computation: finite and infinite machines
Computation: finite and infinite machines
Information-Theoretic Limitations of Formal Systems
Journal of the ACM (JACM)
Iterated Limiting Recursion and the Program Minimization Problem
Journal of the ACM (JACM)
A Theory of Program Size Formally Identical to Information Theory
Journal of the ACM (JACM)
Probabilistic models of information retrieval based on measuring the divergence from randomness
ACM Transactions on Information Systems (TOIS)
Fuzzy reasoning and the logics of uncertainty
MVL '76 Proceedings of the sixth international symposium on Multiple-valued logic
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Iterated limiting recursion and the program minimization problem
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Algorithmic information theory
IBM Journal of Research and Development
Model discrimination using an algorithmic information criterion
Automatica (Journal of IFAC)
Hi-index | 0.01 |