Year | DOI | Venue |
---|---|---|
2014 | 10.14279/tuj.eceasst.71.1002 | ECEASST |
Field | DocType | Volume |
Discrete mathematics,Finite set,Associative property,Expression (mathematics),Computer science,Modulo,Unification,Algorithm,Theoretical computer science,Finitary,Concatenation,Soundness | Journal | 71 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ivaylo Hristakiev | 1 | 0 | 0.68 |
Detlef Plump | 2 | 604 | 62.14 |