Author:
Kontinen Juha,Väänänen Jouko
Reference13 articles.
1. [1] Armstrong, W. W., "Dependency structures of data base relationships", pp. 580--83 in Information Processing 74 (Proceedings of the IFIP Congress, Stockholm, 1974), North-Holland, Amsterdam, 1974.
2. [2] Burgess, J. P., "A remark on Henkin sentences and their contraries", Notre Dame Journal of Formal Logic, vol. 44 (2003), pp. 185--88.
3. [3] Cameron, P., and W. Hodges, "Some combinatorics of imperfect information", The Journal of Symbolic Logic, vol. 66 (2001), pp. 673--84.
4. [4] Craig, W., "Linear reasoning. A new form of the Herbrand-Gentzen theorem", The Journal of Symbolic Logic, vol. 22 (1957), pp. 250--68.
5. [5] Enderton, H. B., "Finite partially-ordered quantifiers", Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 16 (1970), pp. 393--97.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献