Pages that link to "Item:Q5403460"
From MaRDI portal
The following pages link to An Algorithm for Approximating the Satisfiability Problem of High-level Conditions (Q5403460):
Displayed 5 items.
- Comprehensive systems: a formal foundation for multi-model consistency management (Q2065549) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- Resolution-Like Theorem Proving for High-Level Conditions (Q3540406) (← links)
- Development of Correct Graph Transformation Systems (Q3540429) (← links)
- Correctness of high-level transformation systems relative to nested conditions (Q3625675) (← links)