Typing theorems of omega algebra
type: Item
instance of: scholarly article
title: Typing theorems of omega algebra
zbMATH Open document ID: 1279.68237
author: Walter Guttmann
published in: The Journal of Logic and Algebraic Programming
publication date: 2013-01-16T00:00:00Z
Mathematics Subject Classification ID: 68Q70
zbMATH DE Number: 6126068
zbMATH Keywords: heterogeneous relations
zbMATH Keywords: Kleene algebra
zbMATH Keywords: matrix algebra
zbMATH Keywords: non-square matrices
zbMATH Keywords: omega algebra
zbMATH Keywords: 1-free expression
zbMATH Keywords: typed omega algebra
zbMATH Keywords: typing theorems
Wikidata QID: Q114851544
describes a project that uses: RALL
MaRDI profile type: Publication
full work available at URL: j.jlap.2012.05.002
OpenAlex ID: W1995311694
cites work: A First-Order Calculus for Allegories
cites work: Q4331824
cites work: An Efficient Coq Tactic for Deciding Kleene Algebras
cites work: Q2721093
cites work: Q5639639
cites work: Q3995720
cites work: Partial, Total and General Correctness
cites work: Towards a Typed Omega Algebra
cites work: Relational and Kleene-Algebraic Methods in Computer Science
cites work: Dependently-Typed Formalisation of Relation-Algebraic Abstractions
cites work: Q3358736
cites work: A completeness theorem for Kleene algebras and the algebra of regular events
cites work: Q4428704
cites work: Relational Methods in Computer Science
cites work: Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic
cites work: Q4362876
cites work: RALL: Machine-supported proofs for relation algebra
cites work: Q4855367
DOI: 10.1016/J.JLAP.2012.05.002
description: scientific article; zbMATH DE number 6126068