scientific article

zbMath0484.68073MaRDI QIDQ3944044

Ivan Kramosil

Publication date: 1981

Full work available at URL: https://eudml.org/doc/28663

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

random samplesTuring machinestatistical verification procedure for propositional formulas

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Classical propositional logic (03B05)

Cites Work

• Zufälligkeit und Wahrscheinlichkeit. Eine algorithmische Begründung der Wahrscheinlichkeitstheorie. (Randomness and probability. An algorithmic foundation of probability theory)
• Information-Theoretic Limitations of Formal Systems
• Unnamed Item

This page was built for publication: