Probabilistic canonical calculi
From MaRDI portal
Publication:1245947
DOI10.1007/BF01084080zbMath0375.02026OpenAlexW2056771744MaRDI QIDQ1245947
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
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
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