Pages that link to "Item:Q1364103"
From MaRDI portal
The following pages link to Generalizations of algorithms that find invariant relationships in programs over algebra of terms (Q1364103):
Displaying 5 items.
- Intersection of term equality sets in finitely defined algebras (Q1968549) (← links)
- Heuristic search for invariants for one class of programs. 6 (Q1974332) (← links)
- (Q3033332) (← links)
- Algorithm to find invariant linear inequality constraints in programs (Q3741026) (← links)
- Invariant inequalities in programs interpreted over an ordered field (Q3777432) (← links)