Author:
Brown Carolyn,Jeffrey Alan
Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. Carolyn Brown and Graham Hutton. Categories, allegories and circuit design. To appear in Proc. LICS, 1994.
2. Aurelio Carboni and Bob Walters. Cartesian bicategories I. J. Pure and Applied Algebra, 49:11–32, 1987.
3. Peter J. Freyd and Andre Scedrov. Categories, Allegories. North-Holland, 1990.
4. Randall L. Geiger, Phillip E. Allen, and Noel R. Strader. VLSI Design Techniques for Analog and Digital Circuits. McGraw Hill, 1990.
5. Steven M. Rubin. Computer Aids for VLSI Design. Addison Wesley, 1987.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Generalised N-ary Relations and Allegories;Relational and Algebraic Methods in Computer Science;2015
2. A graphical representation of relational formulae with complementation;RAIRO - Theoretical Informatics and Applications;2012-02-27
3. A Calculus for Graphs with Complement;Diagrammatic Representation and Inference;2010
4. On a Graph Calculus for Algebras of Relations;Logic, Language, Information and Computation;2008
5. Positive Fork Graph Calculus;Logical Foundations of Computer Science;2008