Name
Year | DOI | Venue |
|---|---|---|
2013 | 10.1007/978-3-642-41071-0_11 | SBMF |
Field | DocType | Citations |
Rule-based machine translation,Specification language,Programming language,Computer science,Automated theorem proving,Theoretical computer science,Mathematical proof,Rewriting,Formal methods,Proof complexity,State space | Conference | 3 |
PageRank | References | Authors |
0.45 | 5 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Luiz Carlos Lemos Junior | 1 | 8 | 1.36 |
| Simone Andre da Costa Cavalheiro | 2 | 20 | 6.53 |
| Luciana Foss | 3 | 94 | 14.44 |