Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-642-40206-7_24 | CALCO |
Field | DocType | Citations |
Discrete mathematics,Negation,Computer science,Axiom,Formal development,Formal specification,Mathematical proof,Conservative extension,Architectural specification,Calculus,Special case | Conference | 1 |
PageRank | References | Authors |
0.35 | 5 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mihai Codescu | 1 | 89 | 12.58 |
Till Mossakowski | 2 | 1052 | 90.11 |
Christian Maeder | 3 | 8 | 4.00 |