Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Lecture Notes in Computer Science;M Abadi,2004
2. Abiteboul, S., Vianu, V.: Non-determinism in logic-based languages. Ann. Math. Artif. Intell. 3(2–4), 151–186 (1991)
3. Asser, G.: Theorie der logischen Auswahlfunktionen. Z. Math. Logik Grundlag. Math. 3, 30–68 (1957)
4. Avigad, J., Zach, R.: The epsilon calculus. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (Summer 2016th edn. (2016). http://plato.stanford.edu/entries/epsilon-calculus/
5. Bell, J.L.: Hilbert’s epsilon-operator and classical logic. J. Philos. Logic 22, 1–18 (1993)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献