Author:
Cenzer Douglas,Remmel Jeffrey B.
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference24 articles.
1. Andreka, H., Nemeti, I.: The generalized completeness of horn predicate logic as a programming language. Acta Cybern. 4, 3–10 (1978)
2. Bendixson, L.: Quelques theéorèms de la th’eorie des ensumble de points. Acta Math. 2, 415–429 (1883)
3. Cenzer, D., Mauldin, R.: On the Borel class of the derived set operator. Bull. Soc. Math. Fr. 110, 357–380 (1982)
4. Cenzer, D., Mauldin, R.: On the Borel class of the derived set operator II. Bull. Soc. Math. Fr. 111, 367–372 (1983)
5. Cenzer, D., Clote, P., Smith, R., Soare, R., Wainer, S.: Members of countable $\Pi^0_1$ classes. Ann. Pure Appl. Logic 31, 145–163 (1986)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献