Author:
Hella Lauri,Kolaitis Phokion G.,Luosto Kerkko
Reference51 articles.
1. Datalog extensions for database queries and updates;Abiteboul;J. Comput. System Sci.,1991
2. Computing with first-order logic;Abiteboul;J. Comput. Sys. Sci.,1995
3. Random graph isomorphism;Babai;SIAM J. Comput.,1980
4. On Moschovakis closure ordinals;Barwise;J. Symbolic Logic,1977
5. Model-Theoretic Logics,1985
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Descriptive complexity of graph spectra;Annals of Pure and Applied Logic;2019-09
2. Descriptive Complexity of Graph Spectra;Logic, Language, Information, and Computation;2016
3. Axiomatic Theories;International Encyclopedia of the Social & Behavioral Sciences;2015
4. Epimorphisms in cylindric algebras and definability in finite variable logic;Algebra universalis;2009-10-16
5. Zero-one law and definability of linear order;The Journal of Symbolic Logic;2009-03