Pages that link to "Item:Q3618815"

The following pages link to Exercises in Quantifier Manipulation (Q3618815):

Displayed 8 items.

• ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) ‎ (← links)
• An elementary and unified approach to program correctness (Q607408) ‎ (← links)
• Pointfree expression and calculation: From quantification to temporal logic (Q633283) ‎ (← links)
• A linear algebra approach to OLAP (Q2355381) ‎ (← links)
• Assumption propagation through annotated programs (Q2628303) ‎ (← links)
• Typed Linear Algebra for Weigthed (Probabilistic) Automata (Q2914693) ‎ (← links)
• Extended Static Checking by Calculation Using the Pointfree Transform (Q5191091) ‎ (← links)
• Combining Top-Down and Bottom-Up Techniques in Program Derivation (Q5743597) ‎ (← links)