Author:
de Freitas Renata,Veloso Sheila R. M.,Veloso Paulo A. S.,Viana Petrucio
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Brown, C., Hutton, G.: Categories, allegories and circuit design. In: 9th IEEE Symp. Logic in Computer Science, pp. 372–381. IEEE Computer Society Press, Los Alamitos (1994)
2. Brown, C., Jeffrey, A.: Allegories of circuits. In: Proc. Logical Foundations of Computer Science, St. Petersburg, pp. 56–68 (1994)
3. Lecture Notes in Computer Science;S. Curtis,1995
4. Curtis, S., Lowe, G.: Proofs with graphs. Sci. Comput. Program. 26, 197–216 (1996)
5. de Freitas, R.P., Veloso, P.A.S., Veloso, S.R.M., Viana, P.: Reasoning with graphs. ENTCS, vol. 165, pp. 201–212 (2006)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Set Venn Diagrams Applied to Inclusions and Non-inclusions;Journal of Logic, Language and Information;2015-10-06
2. A Graph Calculus for Predicate Logic;Electronic Proceedings in Theoretical Computer Science;2013-03-28
3. On Graph Refutation for Relational Inclusions;Electronic Proceedings in Theoretical Computer Science;2012-03-24
4. A Calculus for Graphs with Complement;Diagrammatic Representation and Inference;2010