Author:
Schewe Klaus-Dieter,Thalheim Bernhard
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. M. Barr, C. Wells: Category Theory for Computing Science, Prentice-Hall 1990
2. M. Barr, C. Wells: Toposes, Triples and Theories, Springer Grundlehren der mathematischen Wissenschaften 278, 1985
3. A. Boileau, A. Joyal: La Logique des Topos, Journal of Symbolic Logic, vol. 46(1), 1981, 6–16
4. Lect Notes Comput Sci;K. B. Bruce,1984
5. P. Cousot: Methods and Logics for Proving Programs, in J. van Leeuwen (Ed.): The Handbookof Theoretical Computer Science, vol B: “Formal Models and Semantics”, Elsevier, 1990, pp. 841–993
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semantics in Data and Knowledge Bases;Semantics in Data and Knowledge Bases;2008