Probabilities over rich languages, testing and randomness 论文

1982Journal of Symbolic Logic引用 219
DOI
Computability, Logic, AI AlgorithmsLogic, Reasoning, and Knowledgesemigroups and automata theory
Computability, Logic, AI AlgorithmsLogic, Reasoning, and Knowledgesemigroups and automata theory
相关技术:Computability, Logic, AI Algorithms
关系图谱

Probabilities over rich languages, testing and randomness · 作者

M

Marc Snir

H

Haim Gaifman