Luiz Carlos Lemos Junior
According to our database1,
Luiz Carlos Lemos Junior
authored at least 3 papers
between 2011 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
Towards the Use and Description of Proof Tactics for Theorem Proving Graph Grammars through Rodin.
Proceedings of the 2nd Workshop-School on Theoretical Computer Science, 2013
Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013
2011
Proceedings of the 2011 Workshop-School on Theoretical Computer Science, 2011