Title | ||
---|---|---|
Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification |
Year | Venue | Keywords |
---|---|---|
1993 | Semantics of Specification Languages | modal view,specification languages,dynamic features,specification language,modal logic |
Field | DocType | ISBN |
Predicate variable,Programming language,Theoretical computer science,Modal logic,Predicate (grammar),Syntax,Predicate logic,Semantics,Predicate (mathematical logic),Mathematics,Dynamic logic (modal logic) | Conference | 3-540-19854-7 |
Citations | PageRank | References |
5 | 0.54 | 1 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Rix Groenboom | 1 | 125 | 19.05 |
Gerard R. Renardel De Lavalette | 2 | 63 | 14.92 |