Name
Abstract | ||
|---|---|---|
Without Abstract |
Year | DOI | Venue |
|---|---|---|
1995 | 10.1007/3-540-59293-8_239 | TAPSOFT |
Keywords | Field | DocType |
assist programming,term rewriting,therem proving | Programming language,Functional programming,Automated theorem proving,Type theory,Boolean algebra,Rewriting,Algebraic theory,Relation algebra,Mathematics,Calculus,Mathematical logic | Conference |
Volume | ISSN | ISBN |
915 | 0302-9743 | 3-540-59293-8 |
Citations | PageRank | References |
2 | 0.76 | 2 |
Authors | ||
6 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Andre J. Sampaio | 1 | 2 | 0.76 |
| Armando Martin Haeberer | 2 | 81 | 11.05 |
| Claudio T. Prates | 3 | 2 | 0.76 |
| Cristina D. Ururahy | 4 | 36 | 4.21 |
| Marcelo F. Frias | 5 | 295 | 35.57 |
| Neudson C. Albuquerque | 6 | 2 | 0.76 |