scientific article; zbMATH DE number 789390
From MaRDI portal
Publication:4846258
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)- Incremental System Modelling in Event-B
- scientific article; zbMATH DE number 793951 (Why is no real title available?)
- Equational logic as a tool
- Relations as images
- Mitigating covert channels based on analysis of the potential for communication
- An Arithmetically Complete Predicate Modal Logic
- scientific article; zbMATH DE number 1953886 (Why is no real title available?)
- scientific article; zbMATH DE number 54282 (Why is no real title available?)
- 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
- A system for deduction-based formal verification of workflow-oriented software models
- The teaching tool CalcCheck: a proof-checker for Gries and Schneider's ``Logical approach to discrete math
- 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
- The Formal System of Dijkstra and Scholten
- On deadlocks of exclusive AND-requests for resources
- Introduction to discrete mathematics via logic and proof
- Structured derivations: a unified proof style for teaching mathematics
- Convergence: integrating termination and abort-freedom
- An approach to literate and structured formal developments
- From Boolean algebra to unified algebra
- On calculational proofs
- On Euclid's algorithm and elementary number theory
- The associativity of equivalence and the Towers of Hanoi problem
- Equational Reasoning in Non-Classical Logics
- Pointfree expression and calculation: From quantification to temporal logic
- EQ-logics: non-commutative fuzzy logics based on fuzzy equality
- Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}
- Why mathematics needs engineering
- A precise and reliable multivariable chain rule
- Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models
- scientific article; zbMATH DE number 7528055 (Why is no real title available?)
- A general technique for proving lock-freedom
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)
