Author:
Düntsch Ivo,Mikulás Szabolcs
Subject
General Computer Science,Theoretical Computer Science
Reference28 articles.
1. Equivalences among relational expressions;Aho;SIAM J. Comput.,1979
2. Complexity of equations valid in algebras of relations. Part I;Andréka;Ann. Pure Appl. Logic,1998
3. H. Andréka, I. Németi, Representable positive cylindric algebras do not form a variety, Preprint, Mathematical Institute, Hungarian Academy of Science, 1991.
4. H. Andréka, I. Németi, I. Sain, Algebraic logic, in: D.M. Gabbay (Ed.), Handbook of Philosophical Logic, 2nd ed., Kluwer, Dordrecht, 2001, to appear.
5. Model Theory;Chang,1971
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献