Decidability of α (pk) > 0 for some k
From MaRDI portal
Publication:4057897
DOI10.2307/3212447zbMath0303.60064OpenAlexW4238797285MaRDI QIDQ4057897
Publication date: 1975
Published in: Journal of Applied Probability (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/3212447
Decidability of theories and sets of sentences (03B25) Transition functions, generators and resolvents (60J35)
Related Items