Name
Year | DOI | Venue |
|---|---|---|
2014 | 10.1007/978-3-319-14806-9_5 | UTP |
Field | DocType | Citations |
Operational semantics,Notation,Algebraic number,Programming language,Computer science,Action semantics,Algorithm,Operator (computer programming),Algebraic laws,Algebraic semantics | Conference | 0 |
PageRank | References | Authors |
0.34 | 13 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Kun Wei | 1 | 46 | 3.89 |
| Jim Woodcock | 2 | 91 | 7.81 |