Luiz Carlos Lemos Junior

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Automated Reasoning

Theorem Proving

Context Sensitive

Decision Procedures

Top Venues

Publications

Luiz Carlos Lemos Junior, Simone André da Costa Cavalheiro, Luciana Foss
Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin. WEIT (2013)
Luiz Carlos Lemos Junior, Simone André da Costa Cavalheiro, Luciana Foss
Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations. SBMF (2013)
Andre Moura de Mello, Luiz Carlos Lemos Junior, Luciana Foss, Simone André da Costa Cavalheiro
Graph Grammars: A Comparison between Verification Methods. WEIT (2011)