Author:
de Freitas Renata P.,Veloso Paulo A.S.,Veloso Sheila R.M.,Viana Petrucio
Subject
General Computer Science,Theoretical Computer Science
Reference18 articles.
1. Representations of distributive lattice-ordered semigroups with binary relations;Andréka;Algebra Univers.,1991
2. H. Andréka, I. Németi, and I. Sain. Algebraic logic. Technical report, 2003. http://www.math-inst.hu/pub/algebraic-logic/Contents.html
3. Categories, allegories and circuit design;Brown,1994
4. Compiling dyadic specifications into map algebra;Cantone;Theoret. Comput. Sci.,2003
5. Proofs with graphs;Curtis;Sci. Comput. Programming,1996
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On a Graph Approach to Modal Logics;Electronic Notes in Theoretical Computer Science;2014-07
2. Analyzing Enterprise Models Using Enterprise Architecture-Based Ontology;Lecture Notes in Computer Science;2013
3. On Graph Refutation for Relational Inclusions;Electronic Proceedings in Theoretical Computer Science;2012-03-24
4. On graph reasoning;Information and Computation;2009-10
5. A note on proofs with graphs;Science of Computer Programming;2008-10