Author Info
Name
Affiliation
Papers
CLAUDIO T. PRATES
Pontifícia Universidade Católica do Rio de Janeiro Department of Informatics Rua Marquês de São Vicente 225 CEP 22453-900 Rio de Janeiro, RJ Brazil Rua Marquês de São Vicente 225 CEP 22453-900 Rio de Janeiro, RJ Brazil
1
Collaborators
Citations 
PageRank 
5
2
0.76
Referers 
Referees 
References 
4
7
2
Title
Citations
PageRank
Year
PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving20.761995