The following pages link to (Q4312491):
Displayed 4 items.
- From static to dynamic abstract data-types: An institution transformation (Q1285655) (← links)
- A unifying logic for non-deterministic, parallel and concurrent abstract state machines (Q1783738) (← links)
- A Proof System with Bounded Non-determinism in Database Transformations (Q3092325) (← links)
- Regular database update logics (Q5940934) (← links)