Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference27 articles.
1. An introduction to inductive definitions;Aczel,1977
2. Universality of data retrieval languages;Aho,1979
3. A zero-one law for logic with a fixed-point operator;Blass;Inform. and Control,1985
4. Alternation;Chandra;J. Assoc. Comput. Mach.,1981
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
2. Simple structures axiomatized by almost sure theories;Annals of Pure and Applied Logic;2016-05
3. Priors on exchangeable directed graphs;Electronic Journal of Statistics;2016-01-01
4. Symmetric Weighted First-Order Model Counting;Proceedings of the 34th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2015-05-20
5. Generic Theories as a Method for Approximating Elementary Theories;Algebra and Logic;2015-01