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