Subject
General Computer Science,Theoretical Computer Science
Reference40 articles.
1. Efficient string matching: an aid to bibliographic search;Aho;Comm. ACM,1975
2. Théorie des Topos et Cohomologie Etale des Schémas;Artin,1972
3. A technique for extending rapid exact string matching to arrays of more than one dimension;Baker;SIAM J. Comput.,1978
4. Toposes, Triples and Theories;Barr,1985
5. Category Theory for Computing Science;Barr,1990
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Accretive Computation of Global Transformations;Relational and Algebraic Methods in Computer Science;2021
2. Sheaf Representation of an Information System;International Journal of Rough Sets and Data Analysis;2019-04
3. Towards a sheaf semantics for cooperating agents scenarios;Artificial Intelligence and Symbolic Mathematical Computation;1996
4. Specware: Formal support for composing software;Lecture Notes in Computer Science;1995