Pages that link to "Item:Q5466534"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5466534):
Displaying 17 items.
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- Context unification with one context variable (Q1041589) (← links)
- A remark on the alternating algorithm (Q1063819) (← links)
- A derivation of Kohnert's algorithm from Monk's rule (Q1423007) (← links)
- A note on the performance of the ``Ahrens algorithm'' (Q1849564) (← 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)
- A Note on The Row-Reduction Algorithm (Q4734660) (← links)
- (Q5089296) (← links)
- An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations (Q5170172) (← links)
- (Q5285204) (← links)