scientific article

zbMath1012.03001MaRDI QIDQ3146903

Marcelo Fabián Frias

Publication date: 17 September 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraic logicalgebraization of logicsrepresentable algebrasprogram constructionrelational algebrasfork algebrasspecification and verification

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (8)

Towards a linear algebra of programming ⋮ Propositional Dynamic Logic with Storing, Recovering and Parallel Composition ⋮ Positive Fork Graph Calculus ⋮ Axiomatization and computability of a variant of iteration-free PDL with fork ⋮ Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition ⋮ A Static Semantics for Alloy and its Impact in Refactorings ⋮ A linear algebra approach to OLAP ⋮ Interpretability of first-order linear temporal logics in fork algebras

This page was built for publication: