Name
Title | ||
|---|---|---|
A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.29007/3cp8 | workshop practical aspects automated reasoning |
Field | DocType | Volume |
Superposition calculus,Calculus,Mathematics | Conference | 31 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Sophie Tourret | 1 | 8 | 5.20 |
| Mnacho Echenim | 2 | 95 | 15.75 |
| Nicolas Peltier | 3 | 50 | 11.84 |