Year | DOI | Venue |
---|---|---|
2020 | 10.1016/j.jlamp.2019.100514 | Journal of Logical and Algebraic Methods in Programming |
Field | DocType | Volume |
Theoretical computer science,Dynamic logic (digital electronics),Mathematics | Journal | 111 |
ISSN | Citations | PageRank |
2352-2208 | 0 | 0.34 |
References | Authors | |
0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mario R. F. Benevides | 1 | 143 | 23.75 |
Alexandre Madeira | 2 | 82 | 19.97 |