Pages that link to "Item:Q5466534"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5466534):
Displayed 13 items.
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- Context unification with one context variable (Q1041589) (← links)
- Intensional Kleene and Rice theorems for abstract program semantics (Q2105439) (← links)
- Algebra-based synthesis of loops and their invariants (invited paper) (Q2234055) (← links)
- Complete semialgebraic invariant synthesis for the Kannan-Lipton orbit problem (Q2321928) (← links)
- Computing polynomial program invariants (Q2390319) (← links)
- Generating all polynomial invariants in simple loops (Q2457430) (← links)
- Region Analysis for Race Detection (Q3392925) (← links)
- Invariant Checking for Programs with Procedure Calls (Q3392933) (← links)
- Inferring Congruence Equations Using SAT (Q3512500) (← links)
- (Q5089296) (← links)
- An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations (Q5170172) (← links)
- What else is undecidable about loops? (Q6174421) (← links)