Event, State, And Process In Arrow Logic
Minds and Machines
Extending Z with State Transition Constraints
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Linear and affine logics with temporal, spatial and epistemic operators
Theoretical Computer Science
Iteration-free PDL with Intersection: a Complete Axiomatization
Fundamenta Informaticae
Iteration-free PDL with Intersection: a Complete Axiomatization
Fundamenta Informaticae
Hi-index | 0.00 |