Skip to main content
Research
Focus areas
Blog
Publications
Careers
About
Back
Focus areas
Semiconductors
Artificial Intelligence
Quantum Computing
Hybrid Cloud
Back
About
Overview
Labs
People
Back
Semiconductors
Back
Artificial Intelligence
Back
Quantum Computing
Back
Hybrid Cloud
Back
Overview
Back
Labs
Back
People
Research
Focus areas
Semiconductors
Artificial Intelligence
Quantum Computing
Hybrid Cloud
Blog
Publications
Careers
About
Overview
Labs
People
Open IBM search field
Close
Applied Mathematics and Computation
Paper
01 Jan 1992
LISP program-size complexity
View publication
Abstract
A theory of program-size complexity for something close to real LISP is sketched. © 1992.
Related
Conference paper
CertRL: Formalizing convergence proofs for value and policy iteration in Coq
Poster
Flexible GMRES with Analog Accelerators
Keynote
On-surface reactions and single-molecule charge transitions controlled by atom manipulation
Paper
Robust high-dimensional memory-augmented neural networks
View all publications
