Towards a refinement algebra
type: Item
instance of: scholarly article
title: Towards a refinement algebra
zbMATH Open document ID: 1091.68030
author: Yanyan Li
published in: Science of Computer Programming
publication date: 2004-10-04T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 2106010
zbMATH Keywords: Kleene algebra with tests
zbMATH Keywords: demonic refinement algebra
MaRDI profile type: Publication
Wikidata QID: Q114850304
full work available at URL: j.scico.2003.09.002
OpenAlex ID: W4212873283
DOI: 10.1016/J.SCICO.2003.09.002
Recommended article: Q4808696
Recommended article: Q4027472
Recommended article: Q4865868
Recommended article: Refinements of orthopairs and IUML-algebras
Recommended article: An axiomatic approach to algebrization
Recommended article: Reflexive algebras and sigma algebras
Recommended article: Q3711197
Recommended article: Logical Approaches to Computational Barriers
Recommended article: Q3761125
description: scientific article; zbMATH DE number 2106010