Probabilistic canonical calculi
From MaRDI portal
Publication:1245947
DOI10.1007/BF01084080zbMath0375.02026MaRDI QIDQ1245947
Publication date: 1976
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
68Q25: Analysis of algorithms and problem complexity
60B99: Probability theory on algebraic and topological structures
03D03: Thue and Post systems, etc.
03F99: Proof theory and constructive mathematics
Related Items
Calculi with monotone deductions and their economic interpretation, A bound on the length of a random derivation-search tree in general multi-premise calculi
Cites Work