Cláudia Tavares
According to our database1,
Cláudia Tavares
authored at least 3 papers
between 2009 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
2009
2010
2011
2012
2013
2014
0
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, 2014
2012
A type system for embedded rewriting programming. (Un système de types pour la programmation par réécriture embarquée).
PhD thesis, 2012
2009
Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009