Author Info
Name
Affiliation
Papers
LUIZ CARLOS LEMOS JUNIOR
Univ Fed Pelotas, UFPEL, Technol Dev Ctr, Pelotas, Brazil
3
Collaborators
Citations 
PageRank 
4
8
1.36
Referers 
Referees 
References 
7
57
29
Title
Citations
PageRank
Year
Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin10.362013
Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations.30.452013
Graph Grammars: A Comparison between Verification Methods40.552011