Pages that link to "Item:Q3857732"

The following pages link to On the SUP-INF Method for Proving Presburger Formulas (Q3857732):

Displaying 10 items.

• The two variable per inequality abstract domain (Q656848) (← links)
• A typed \(\lambda\)-calculus for proving-by-example and bottom-up generalization procedure (Q674399) (← links)
• The complexity of almost linear diophantine problems (Q753494) (← links)
• A structure-preserving clause form translation (Q1098330) (← links)
• A multi-level geometric reasoning system for vision (Q1116357) (← links)
• A canonical form for generalized linear constraints (Q1186697) (← links)
• Problem-oriented verification system and its application to linear algebra programs (Q1311971) (← links)
• Symbolic model checking of timed guarded commands using difference decision diagrams (Q1858438) (← links)
• SLAP: specification logic of actions with probability (Q2447174) (← links)
• Symbolic reasoning among 3-D models and 2-D images (Q2676556) (← links)