Author:
Ésik Zoltán,Larsen Kim G.
Subject
Computer Science Applications,General Mathematics,Software
Reference41 articles.
1. M.A. Arbib (ed.),Algebraic Theory of Machines, Languages, and Semigroups. With a major contribution by K. Krohn and J.L. Rhodes, Academic Press (1968).
2. Regular languages in NC1
3. On uniformity within NC1
4. A. Baziramwabo, P. McKenzie and D. Therien, Modular temporal logic, in:14th Annual IEEE Symposium on Logic in Computer Science, Trento (1999). IEEE Computer Society, 344-351.
5. D. Beauquier and A. Rabinovitch, Monadic logic of order over naturals has no finite base.J. Logic and Comput.(to appear).
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. One quantifier alternation in first-order logic with modular predicates;RAIRO - Theoretical Informatics and Applications;2015-01
2. On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract);Electronic Proceedings in Theoretical Computer Science;2014-05-21
3. AROUND DOT-DEPTH ONE;International Journal of Foundations of Computer Science;2012-09
4. EQUATIONAL DESCRIPTIONS OF LANGUAGES;International Journal of Foundations of Computer Science;2012-09
5. WEAKLY ITERATED BLOCK PRODUCTS AND APPLICATIONS TO LOGIC AND COMPLEXITY;International Journal of Algebra and Computation;2010-03