The following pages link to R. Wieringa (Q1353965):
Displaying 17 items.
- (Q197417) (redirect page) (← links)
- Actors, actions, and initiative in normative system specification (Q1353968) (← links)
- The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights? (Q1360685) (← links)
- Free choice and contextually permitted actions (Q1922828) (← links)
- (Q2764109) (← links)
- (Q2767116) (← links)
- (Q2772436) (← links)
- Risk Assessment as an Argumentation Game (Q2851983) (← links)
- Extending CTL with Actions and Real Time (Q3146303) (← links)
- (Q4251119) (← links)
- Axiomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases (Q4323002) (← links)
- (Q4329182) (← links)
- (Q4400801) (← links)
- (Q4435844) (← links)
- (Q4762649) (← links)
- Comparing Petri Net and Activity Diagram Variants for Workflow Modelling – A Quest for Reactive Petri Nets (Q5392168) (← links)
- Regular database update logics (Q5940934) (← links)