Title | ||
---|---|---|
Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings |
Year | Venue | Keywords |
---|---|---|
1993 | Executable Modal and Temporal Logics | temporal logic |
Field | DocType | Volume |
Temporal logic of actions,Programming language,Interval temporal logic,Computer science,Multimodal logic,Description logic,Theoretical computer science,Linear temporal logic,Temporal logic,Logic programming,Dynamic logic (modal logic) | Conference | 897 |
ISBN | Citations | PageRank |
isbn | 11 | 1.17 |
References | Authors | |
0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michael Fisher | 1 | 11 | 1.17 |
Richard Owens | 2 | 11 | 1.17 |