The following pages link to (Q4364535):
Displayed 6 items.
- Dynamic state restoration using versioning exceptions (Q853735) (← links)
- On modelling mobility (Q1575151) (← links)
- Ordering constraints over feature trees expressed in second-order monadic logic. (Q1854347) (← links)
- A timed concurrent constraint language. (Q1854359) (← links)
- Dominance constraints with Boolean connectives: A model-eliminative treatment (Q1870570) (← links)
- (Q4499261) (← links)