Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-37635-1_4 | WADT |
Field | DocType | Citations |
Pointer (computer programming),Model checking,Algebraic number,Computer science,Algorithm,Parametric statistics,Recursion,Semantics,Bounded function | Conference | 1 |
PageRank | References | Authors |
0.35 | 13 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Irina Măriuca Asăvoae | 1 | 40 | 7.17 |
Frank S. de Boer | 2 | 2013 | 159.02 |
Marcello M. Bonsangue | 3 | 824 | 66.34 |
Dorel Lucanu | 4 | 295 | 35.07 |
Jurriaan Rot | 5 | 104 | 18.53 |