Typing theorems of omega algebra

DOI10.1016/J.JLAP.2012.05.002MaRDI QIDQ1931900zbMATH OpenOpenAlexWikidataFDO

Authors Walter Guttmann

Publication date 16 January 2013

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2012.05.002

zbMATH Keywords

matrix algebraKleene algebraheterogeneous relationsomega algebranon-square matrices1-free expressiontyped omega algebratyping theorems

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Recommendations

• Towards a typed omega algebra
• Untyping typed algebras and colouring cyclic linear logic
• Omega algebras and regular equations
• Kleene algebra with products and iteration theories
• Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic

Cites work

• scientific article; zbMATH DE number 1612485 (Why is no real title available?)
• scientific article; zbMATH DE number 4210141 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 977284 (Why is no real title available?)
• scientific article; zbMATH DE number 1086628 (Why is no real title available?)
• scientific article; zbMATH DE number 1984270 (Why is no real title available?)
• scientific article; zbMATH DE number 814823 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• A completeness theorem for Kleene algebras and the algebra of regular events
• A first-order calculus for allegories
• An efficient Coq tactic for deciding Kleene algebras
• Dependently-typed formalisation of relation-algebraic abstractions
• Partial, total and general correctness
• RALL: machine-supported proofs for relation algebra
• Relational Methods in Computer Science
• Relational and Kleene-Algebraic Methods in Computer Science
• Towards a typed omega algebra
• Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic

Cited in

(4)

• Alpha-conversion and typability
• Untyping typed algebras and colouring cyclic linear logic
• Towards a typed omega algebra
• The symbol of type and the Wilson theorem

Describes a project that uses

Uses Software

• RALL

This page was built for publication: Typing theorems of omega algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1931900)