Author:
Marcinkowski Jerzy,Pacholski Leszek
Reference59 articles.
1. Über die erfüllbarkeit gewisser zählausdrücke;Ackermann;Mathematische Annalen,1928
2. Beiträge zum entscheidungsproblem der mathematischen logik;Ackermann;Mathematische Annalen,1936
3. Solvable Cases of the Decision Problem;Ackermann,1954
4. Term Rewriting and All That;Baader,1998
5. C. Beeri, M. Vardi, The implication problem for data dependencies, in: Proc. Internat. Collaq. on Automata, Languages and Programming 1981, Lecture Notes in Computer Science, Vol. 115, Springer, Berlin, 1981, pp. 73–85.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Converging to the chase – A tool for finite controllability;Journal of Computer and System Sciences;2017-02
2. Converging to the Chase -- A Tool for Finite Controllability;2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science;2013-06