scientific article; zbMATH DE number 789390
From MaRDI portal
Publication:4846258
zbMath0861.03001MaRDI QIDQ4846258
Fred B. Schneider, David Gries
Publication date: 23 August 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to combinatorics (05-01)
Related Items
Relations as Images ⋮ Formal justification of underspecification for S5 ⋮ Why mathematics needs engineering ⋮ From Boolean algebra to unified algebra ⋮ Predicate transformers as power operations ⋮ An informal introduction to a high level language with applications to interval mathematics ⋮ Convergence: integrating termination and abort-freedom ⋮ Unnamed Item ⋮ Conditional composition ⋮ An approach to literate and structured formal developments ⋮ Structured derivations: a unified proof style for teaching mathematics ⋮ The Formal System of Dijkstra and Scholten ⋮ Equational logic as a tool ⋮ An Arithmetically Complete Predicate Modal Logic ⋮ Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models ⋮ On Euclid's algorithm and elementary number theory ⋮ Non-commutative first-order EQ-logics ⋮ Well-founded coalgebras, revisited ⋮ Pointfree expression and calculation: From quantification to temporal logic ⋮ On deadlocks of exclusive AND-requests for resources ⋮ Defense in Depth Formulation and Usage in Dynamic Access Control ⋮ Equational propositional logic ⋮ A Precise and Reliable Multivariable Chain Rule ⋮ Mitigating covert channels based on analysis of the potential for communication ⋮ Dual choice and iteration in an abstract algebra of action ⋮ EQ-logics: non-commutative fuzzy logics based on fuzzy equality ⋮ Unnamed Item ⋮ A system for deduction-based formal verification of workflow-oriented software models ⋮ Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck} ⋮ On calculational proofs ⋮ A document driven methodology for developing a high quality parallel mesh generation toolbox ⋮ A general technique for proving lock-freedom ⋮ Incremental System Modelling in Event-B ⋮ The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider’s “Logical Approach to Discrete Math” ⋮ Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic ⋮ Equational Reasoning in Non-Classical Logics ⋮ The associativity of equivalence and the Towers of Hanoi problem
Uses Software
