Author:
Durand Arnaud,Ranaivoson Solomampionona
Subject
General Computer Science,Theoretical Computer Science
Reference17 articles.
1. ∑11-formula on finite structures;Ajtai;Ann. Pure Appl. Logic,1983
2. A hierarchy for nondeterministic time complexity;Cook;J. Comput. System Sci.,1973
3. Second-order and inductive definability on finite structures;De Rougemont;Z. Math. Logik Grundlag. Math.,1987
4. Monadic generalized spectra;Fagin;Z. Math. Logik Grundlag. Math.,1975
5. A. spectrum hierarchy;Fagin;Z. Math. Logik Grundlag. Math.,1975
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献