Probabilistic canonical calculi

DOI10.1007/BF01084080MaRDI QIDQ1245947zbMATH OpenOpenAlexFDO

Authors S. Yu. Maslov, E. D. Rusakov

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

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

Cites work

• Formal Reductions of the General Combinatorial Decision Problem
• scientific article; zbMATH DE number 3343708 (Why is no real title available?)
• scientific article; zbMATH DE number 3422350 (Why is no real title available?)

Cited in

(2)

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

This page was built for publication: Probabilistic canonical calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1245947)