|
Search the dblp DataBase
Jorge Petrúcio Viana:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Renata P. de Freitas, Jorge Petrúcio Viana
A Completeness Result for Relation Algebra with Binders. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:67, n:, pp:- [Journal]
- Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Petrucio Viana
Reasoning with Graphs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:165, n:, pp:201-212 [Journal]
- Balder ten Cate, Maarten Marx, Jorge Petrúcio Viana
Hybrid logics with Sahlqvist axioms. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2005, v:13, n:3, pp:293-300 [Journal]
A Calculus for Graphs with Complement. [Citation Graph (, )][DBLP]
Positive Fork Graph Calculus. [Citation Graph (, )][DBLP]
On a Graph Calculus for Algebras of Relations. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|