Probabilistic canonical calculi

DOI10.1007/BF01084080zbMath0375.02026OpenAlexW2056771744MaRDI QIDQ1245947

E. D. Rusakov, S. Yu. Maslov

Publication date: 1976

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01084080

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Probability theory on algebraic and topological structures (60B99) Thue and Post systems, etc. (03D03) Proof theory and constructive mathematics (03F99)

Related Items (2)

A bound on the length of a random derivation-search tree in general multi-premise calculi ⋮ Calculi with monotone deductions and their economic interpretation

Cites Work

• Formal Reductions of the General Combinatorial Decision Problem
• Unnamed Item
• Unnamed Item

This page was built for publication: Probabilistic canonical calculi