Affiliation:
1. Abteilung Informatik, Universitat Dortmund, Postfach 500500, 4600 Dortmund 50, West Germany
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Reference21 articles.
1. ARBIB M A AND MANES E G Arrows Structures and Functors Academic Press New York 1975. ARBIB M A AND MANES E G Arrows Structures and Functors Academic Press New York 1975.
Cited by
92 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the semantics and implementation of replicated data types;Science of Computer Programming;2018-12
2. Monic Testing of Web Services Based on Algebraic Specifications;2016 IEEE Symposium on Service-Oriented System Engineering (SOSE);2016-03
3. Automated Testing of Web Services Based on Algebraic Specifications;2015 IEEE Symposium on Service-Oriented System Engineering;2015-03
4. Probabilization of Logics: Completeness and Decidability;Logica Universalis;2013-09-26
5. My ADT Shrine;Recent Trends in Algebraic Development Techniques;2012