X ERMAC-R6
X Encontro Regional de Matemática Aplicada e Computacional
Regional 06 (R6), Espírito Santo (ES) - Rio de Janeiro (RJ)
10 e 11 de maio de 2012
UFF, Niterói, RJ
SLALM 2012
XV Latin-American Symposium on Mathematical Logic
4-6 June, 2012
Bogotá, Colombia
Diagrams 2012
VII International Conference on the Theory and Applications of Diagrams
2-6 July, 2012
Canterbury, UK
WoLLIC 2012
19th Workshop on Logic, Language, Information and Computation
3-6 September, 2012
University of Buenos Aires, Argentina
CNMAC 2012
XXXIV Congresso Nacional de Matemática Aplicada e Computacional
17 a 21 de setembro de 2012
Águas de Lindóia, SP
Marcia R. Cerioli, Hugo Nobrega, Petrucio Viana,
On characterizations by nice forbidding sets,
European Conference on Combinatorics,Graph Theory and Applications (EuroComb'11),
Budapest, August 29-September 2, 2011.
Marcia R. Cerioli, Hugo Nobrega, Petrucio Viana,
A partial characterization by forbidden subgraphs of edge path graphs,
10th Cologne-Twente Workshopon graphs and combinatorial optimization,
Villa Mondragone, Frascati, June 14-16, 2011.
Marcia R. Cerioli, Hugo Nobrega, Petrucio Viana,
Characterizations by nice forbidding sets.
In Brazilian Logic Conference, 2011, Petrópolis.
XVI EBL - 16th Brazilian Logic Conference - Abstracts, 2011, p. 102.
Mario Benevides, Renata de Freitas e Petrucio Viana,
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition,
LSFA'10,
ENTCS 269:95-107 (2011).
***
Marcus Vinicius Angelo Reis,
Contando por Princípios,
monografia do Curso de Especialização em Matemática para Professores do Ensino Médio, UFF, Niterói, 2010.
***
Marcia R. Cerioli, Hugo Nobrega, Petrucio Viana,
Decompositions by maxclique separators,
4th Latin American Workshop on Cliques in Graphs (LawCliques'10), Itaipava,
November 16-19, 2010.
Paulo A.S. Veloso, Sheila R.M. Veloso, Petrucio Viana, Renata de Freitas, Mario Benevides e Carla Delgado,
On Vague Notions and Modalities: a modular approach,
Logic Journal of the IGPL18:381-402 (2010),
doi:10.1093/jigpal/jzp041.
Renata de Freitas, Paulo A.S. Veloso, Sheila R.M. Veloso, Petrucio Viana,
A calculus for graphs with complement,
Diagrams 2010, LNCS 6170:84-98 (2010).
Renata de Freitas et al., On graph reasoning,
Information and Computation207:1000-1014
(2009), doi:10.1016/j.ic.2008.11.004.
Renata de Freitas, Sheila R.M. Veloso, Paulo A.S. Veloso, Petrucio Viana,
Positive Fork Graph Calculus.
In Proceedings of the
International Symposium on Logical Foundations of Computer Science (LFCS'09),
3-6 January 2009, Deerfield Beach, FL, USA,
Lectures Notes in Computer Science (LNCS)
5407:152-163, 2009, ISSN 0302-9743, DOI 10.1007/978-3-540-92687-0.
[slides]
Paulo A.S. Veloso, Renata P. de Freitas, Petrucio Viana, Mario Benevides, Sheila R.M. Veloso,
On Fork Arrow Logic and its Expressive Power,
Journal of Philosophical Logic,
vol. 36(5), 2007, pp. 489-509,
DOI 10.1007/s10992-006-9043-x.
Hermann Haeusler, Marcelo Correa,
On games and the polynomial-space completeness of intuitionistic propositional logic.
In
XIV Brazilian Logic Conference (EBL'06),
Parque Nacional do Itatiaia, 24-28 April 2006.
Renata P. de Freitas, Paulo Veloso, Sheila Veloso, Petrucio Viana,
Graph Relational Calculus.
In Proceedings of the
XIV Brazilian Logic Conference (EBL'06),
Parque Nacional do Itatiaia, 24-28 April 2006.