文章引用情况
1
SOME MODEL THEORY FOR THE MODAL mu-CALCULUS: SYNTACTIC CHARACTERISATIONS OF SEMANTIC PROPERTIES2
EXTENSION BY CONSERVATION. SIKORSKI'S THEOREM3
CANONICAL MODELS AND THE COMPLEXITY OF MODAL TEAM LOGIC4
CODENSITY LIFTING OF MONADS AND ITS DUAL5
LOGICAL RELATIONS FOR COHERENCE OF EFFECT SUBTYPING6
BISIMULATIONS FOR DELIMITED-CONTROL OPERATORS7
POLISHNESS OF SOME TOPOLOGIES RELATED TO WORD OR TREE AUTOMATA8
REASONING ABOUT EFFECTS: FROM LISTS TO CYBER-PHYSICAL AGENTS9
ON THE EXPRESSIVENESS AND MONITORING OF METRIC TEMPORAL LOGIC10
EVERY METRIC SPACE IS SEPARABLE IN FUNCTION REALIZABILITY