Name
Title | ||
|---|---|---|
Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation |
Year | Venue | Keywords |
|---|---|---|
1991 | JTASPEFT/WSA | comparative study |
Field | DocType | Citations |
Program transformation,Programming language,Computer science,Theoretical computer science | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Rachid Echahed | 1 | 561 | 57.24 |
| Paul Jacquet | 2 | 0 | 0.68 |
| Marie-Laure Potet | 3 | 190 | 21.34 |
| Sadik Sebbar | 4 | 0 | 0.34 |