The following pages link to (Q4499235):
Displaying 7 items.
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Structured theories and institutions (Q1884906) (← links)
- Towards behavioral Maude: behavioral membership equational logic (Q2842559) (← links)
- (Q3317106) (← links)
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework (Q4923514) (← links)
- A basic model for social institutions (Q5202554) (← links)
- (Q5416165) (← links)