Author: Brink, Chris
Similar Items: Modelling the algebra of weakest preconditions
- Providing mechanical support for program development in a weakest precondition calculus
- A topological framework for program semantics
- Preconditioning and Uniform Convergence for Convection-Diffusion Problems Discretized on Shishkin-Type Meshes
- Steinberg algebra and Leavitt path algebras
- Ideals in von Neumann algebras and in associated operator algebras
- On conformal algebras with brackets
Similar Items: A topological framework for program semantics
- Nearness and convergence in pointfree topology
- Topological Features of Locally Compact Hypergroups
- DW complexes and their underlying topological spaces
- Equivariant compactifications of topological and bitopological transformation groups
- Zero modes and degrees of freedom of topological solitons on the plane
- Some combinatorial aspects in algebraic topology and geometric group theory