Probabilistic Turing Machines and Computability
From MaRDI portal
Cites work
Cited in
(19)- On using probabilistic Turing machines to model participants in cryptographic protocols
- Universality of SN P systems with stochastic application of rules
- On tape-bounded probabilistic Turing machine acceptors
- Towards logical foundations for probabilistic computation
- On higher-order probabilistic subrecursion
- On higher-order probabilistic subrecursion
- A probabilistic model of computing with words
- On measure quantifiers in first-order arithmetic
- Randomized algorithms in combinatorial optimization: A survey
- Bayesian estimation and the Kalman filter
- On the termination problem for probabilistic higher-order recursive programs
- Confluent complement: an algorithm for the intersection of face ideals
- Probabilistic automata
- On counting propositional logic and Wagner's hierarchy
- Enumerating error bounded polytime algorithms through arithmetical theories
- Probabilistic Turing machines and recursively enumerable Dedekind cuts
- Multihead two-way probabilistic finite automata
- Characterizations of semantic domains for randomized algorithms
- Computability by Probabilistic Turing Machines
This page was built for publication: Probabilistic Turing Machines and Computability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5579493)