scientific article; zbMATH DE number 1801371
algebraic logicalgebraization of logicsfork algebrasprogram constructionrelational algebrasrepresentable algebrasspecification and verification
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Cylindric and polyadic algebras; relation algebras (03G15) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
- scientific article; zbMATH DE number 1136646
- scientific article; zbMATH DE number 1086629
- Representability and program construction within fork algebras
- A Finite Axiomatization for Fork Algebras
- scientific article; zbMATH DE number 859785
- Fork Algebras as a Sufficiently Rich Universal Institution
- scientific article; zbMATH DE number 1156791
- Complete calculi for structured specifications in fork algebra
- scientific article; zbMATH DE number 1303460
- A proof system for fork algebras and its applications to reasoning in logics based on intuitionism
- Squares in fork arrow logic
- Towards a linear algebra of programming
- A linear algebra approach to OLAP
- A proof system for fork algebras and its applications to reasoning in logics based on intuitionism
- On finite and infinite fork algebras and their relational reducts
- Complexity optimal decision procedure for a propositional dynamic logic with parallel composition
- A static semantics for Alloy and its impact in refactorings
- Positive Fork Graph Calculus
- Fork Algebras as a Sufficiently Rich Universal Institution
- scientific article; zbMATH DE number 1303460 (Why is no real title available?)
- scientific article; zbMATH DE number 1735901 (Why is no real title available?)
- scientific article; zbMATH DE number 1086629 (Why is no real title available?)
- scientific article; zbMATH DE number 1136646 (Why is no real title available?)
- Representability and program construction within fork algebras
- scientific article; zbMATH DE number 1156791 (Why is no real title available?)
- scientific article; zbMATH DE number 1471976 (Why is no real title available?)
- scientific article; zbMATH DE number 834566 (Why is no real title available?)
- scientific article; zbMATH DE number 859784 (Why is no real title available?)
- scientific article; zbMATH DE number 859798 (Why is no real title available?)
- On the construction of explosive relation algebras
- Propositional dynamic logic with storing, recovering and parallel composition
- Axiomatization and computability of a variant of iteration-free PDL with fork
- (Heterogeneous) structured specifications in logics without interpolation
- The fork and its role in unification of closure algebras
- Interpretability of first-order linear temporal logics in fork algebras
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 Q3146903)
