Subject
General Computer Science,Theoretical Computer Science
Reference9 articles.
1. Abstract and Concrete Categories;Adamek,1990
2. R. Banach, The contractum in algebraic graph rewriting, Theoret. Comput. Sci., submitted.
3. R. Banach, Real specifications are (predominantly) regular, in: PROCOMET-94, submitted.
4. Category Theory for Computing Science;Barr,1990
5. Regularity of relations: a measure of uniformity;Jaoua;Theoret. Comput. Sci.,1991
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Core Hybrid Event-B III: Fundamentals of a reasoning framework;Science of Computer Programming;2024-01
2. On the Structure of an Internal Groupoid;Applied Categorical Structures;2023-09-18
3. Graded Refinement, Retrenchment, and Simulation;ACM Transactions on Software Engineering and Methodology;2023-03-31
4. Simple feature engineering via neat default retrenchments;The Journal of Logic and Algebraic Programming;2011-11
5. Stronger compositions for retrenchments;The Journal of Logic and Algebraic Programming;2010-04