Exercises in Quantifier Manipulation

DOI10.1007/11783596_7MaRDI QIDQ3618815zbMATH OpenOpenAlexFDO

Authors Diethard Michaelis, Roland C. Backhouse

Publication date 2 April 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11783596_7

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Elementary probability theory in the Eindhoven style
• Calculus of standard quantor formulas
• Binary quantification systems
• Quantifier elimination: Optimal solution for two classical examples
• scientific article; zbMATH DE number 4079383

Cited in

(11)

• A linear algebra approach to OLAP
• Assumption propagation through annotated programs
• Typed linear algebra for weigthed (probabilistic) automata
• ``Keep definition, change category -- a practical approach to state-based system calculi
• Questions about quantifiers
• Extended Static Checking by Calculation Using the Pointfree Transform
• The Move from One to Two Quantifiers
• Combining top-down and bottom-up techniques in program derivation
• An elementary and unified approach to program correctness
• Pointfree expression and calculation: From quantification to temporal logic
• Probabilistic predicate transformers. II: Partially observable probability

This page was built for publication: Exercises in Quantifier Manipulation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3618815)