Exercises in Quantifier Manipulation
From MaRDI portal
Publication:3618815
DOI10.1007/11783596_7zbMath1235.68049OpenAlexW1526485288MaRDI QIDQ3618815
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
Related Items
``Keep definition, change category -- a practical approach to state-based system calculi ⋮ Assumption propagation through annotated programs ⋮ Typed Linear Algebra for Weigthed (Probabilistic) Automata ⋮ An elementary and unified approach to program correctness ⋮ Pointfree expression and calculation: From quantification to temporal logic ⋮ Combining Top-Down and Bottom-Up Techniques in Program Derivation ⋮ Extended Static Checking by Calculation Using the Pointfree Transform ⋮ A linear algebra approach to OLAP