Author:
Parlamento F.,Policriti A.
Subject
Applied Mathematics,General Mathematics
Reference10 articles.
1. Non-well-founded sets, CSLI Lecture Notes, 1988.
2. Decision procedures for elementary sublanguages of set theory. III. Restricted classes of formulas involving the power set operator and the general set union operator
3. Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions
4. , and , Set-theoretic reductions of Hilbert's tenth problem, pp. 65–75 in: Proceedings Third Workshop “Computer Science Logic,” Kaiserslautern, 1989,
5. , and , eds., Lecture Notes in Computer Science, Vol. 440, Springer-Verlag, Heidelberg, 1990.
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献