Pages that link to "Item:Q1971976"
From MaRDI portal
The following pages link to Categorical approach to horizontal structuring and refinement of high-level replacement systems (Q1971976):
Displaying 5 items.
- Categorical principles, techniques and results for high-level-replacement systems in computer science (Q690375) (← links)
- Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components (Q934668) (← links)
- Parallel high-level replacement systems (Q1389763) (← links)
- On Modifying High Level Replacement Systems1 1Partially supported by the European Community under TMR GETGRATS and Esprit WG APPLIGRAPH (Q4923505) (← links)
- GETGRATS (Q4923529) (← links)