Author:
Gurevich Yuri,Shelah Saharon
Reference26 articles.
1. An introduction to inductive definitions;Aczel,1977
2. M. Ajtai and Y. Gurevich, Monotone versus positive, J. ACM, to appear.
3. Universality of data retrieval languages;Aho,1979
4. A zero-one law for a logic with fixed-point operator;Blass;Information and Control,1985
5. Structure and complexity of relational queries;Chandara,1980
Cited by
151 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On undecidability of unary non-nested PFP-operators for one successor function theory;Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika;2024-04-24
2. On Undecidability of Unary Nonnested PFP Operators for One Successor Function Theory;Russian Mathematics;2024-04
3. Undecidability of Unary Unnested PFP-operators for One Successor;2023 Applied Mathematics, Computational Science and Mechanics: Current Problems (AMCSM);2023-07-01
4. Canonisation and Definability for Graphs of Bounded Rank Width;ACM Transactions on Computational Logic;2023-01-18
5. Compositionality in Context;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023