Author:
Krynicki Michał,Tomasik Jerzy,Zdanowski Konrad
Subject
General Computer Science,Theoretical Computer Science
Reference24 articles.
1. A. Atserias, Ph. Kolaitis, First order logic vs. fixed point logic on finite set theory, in: 14th IEEE Symposium on Logic in Computer Science, LICS, vol. 14, 1999, pp. 275–284.
2. Model Theory;Chang,1990
3. Reduced direct product;Frayne;Fundamenta Mathematicae,1962
4. PWN—Polish Scientific Publisher;Grzegorczyk,1971
5. Axiomatic basis for computer programming;Hoare;Communincations of ACM,1969
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. TRUTH IN THE LIMIT;REP MATH LOGIC;2016