Search results for: Petrucio Viana
Lecture Notes in Computer Science > Diagrammatic Representation and Inference > Formal Aspects of Diagrams > 84-98
Journal of Logic, Language and Information > 2015 > 24 > 4 > 457-485
Discrete Mathematics > 2014 > 337 > Complete > 119-126
Electronic Notes in Discrete Mathematics > 2011 > 38 > Complete > 233-238
Electronic Notes in Theoretical Computer Science > 2011 > 269 > Complete > 95-107
Information and Computation > 2009 > 207 > 10 > 1000-1014
Electronic Notes in Theoretical Computer Science > 2009 > 247 > Complete > 51-66
Science of Computer Programming > 2008 > 73 > 2-3 > 129-135
Journal of Philosophical Logic > 2007 > 36 > 5 > 489-509
Electronic Notes in Theoretical Computer Science > 2006 > 165 > Complete > 201-212