scientific article; zbMATH DE number 789390
From MaRDI portal
Publication:4846258
zbMATH Open0861.03001MaRDI QIDQ4846258FDOQ4846258
Authors: David Gries, Fred B. Schneider 
Publication date: 23 August 1995
Title of this publication is not available (Why is that?)
Recommendations
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to combinatorics (05-01) 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)
Cited In (40)
- Equational logic as a tool
- Relations as images
- An Arithmetically Complete Predicate Modal Logic
- Title not available (Why is that?)
- Mitigating covert channels based on analysis of the potential for communication
- Title not available (Why is that?)
- Well-founded coalgebras, revisited
- Dual choice and iteration in an abstract algebra of action
- Non-commutative first-order EQ-logics
- Semiring neighbours: an algebraic embedding and extension of neighbourhood logic
- Formal justification of underspecification for S5
- The teaching tool CalcCheck: a proof-checker for Gries and Schneider's ``Logical approach to discrete math
- A system for deduction-based formal verification of workflow-oriented software models
- Predicate transformers as power operations
- Defense in Depth Formulation and Usage in Dynamic Access Control
- Equational propositional logic
- An informal introduction to a high level language with applications to interval mathematics
- A document driven methodology for developing a high quality parallel mesh generation toolbox
- Conditional composition
- On deadlocks of exclusive AND-requests for resources
- Introduction to discrete mathematics via logic and proof
- The Formal System of Dijkstra and Scholten
- Structured derivations: a unified proof style for teaching mathematics
- An approach to literate and structured formal developments
- Convergence: integrating termination and abort-freedom
- From Boolean algebra to unified algebra
- On calculational proofs
- On Euclid's algorithm and elementary number theory
- Equational Reasoning in Non-Classical Logics
- The associativity of equivalence and the Towers of Hanoi problem
- Pointfree expression and calculation: From quantification to temporal logic
- Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}
- EQ-logics: non-commutative fuzzy logics based on fuzzy equality
- Why mathematics needs engineering
- A precise and reliable multivariable chain rule
- Title not available (Why is that?)
- Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models
- Incremental System Modelling in Event-B
- A general technique for proving lock-freedom
- Title not available (Why is that?)
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4846258)
