Year | Venue | Field |
---|---|---|
2013 | Bulletin of the EATCS | Temporal logic of actions,Interval temporal logic,Multimodal logic,Substructural logic,Description logic,Linear temporal logic,Theoretical computer science,Temporal logic,Mathematics,Dynamic logic (modal logic) |
DocType | Volume | Issue |
Journal | 110 | 110 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jose Gaintzarain | 1 | 6 | 1.83 |