Axiomatizing prefix iteration with silent steps
type: Item
instance of: scholarly article
title: Axiomatizing prefix iteration with silent steps
zbMATH Open document ID: 0855.68030
author: Luca Aceto
author: Anna Ingolfsdottir
author: Rob van Glabbeek
author: Wan Fokkink
published in: Information and Computation
publication date: 1996-11-25T00:00:00Z
Mathematics Subject Classification ID: 68Q05
zbMATH DE Number: 930725
zbMATH Keywords: prefix iteration
zbMATH Keywords: Kleene star operation
MaRDI profile type: Publication
OpenAlex ID: W2039616607
DOI: 10.1006/INCO.1996.0047
Recommended article: A complete equational axiomatization for prefix iteration
Recommended article: Q3839065
Recommended article: Q4375631
Recommended article: Q5491512
Recommended article: Axiomatizing flat iteration
Recommended article: Q4880140
Recommended article: Q5203698
Recommended article: Q3317086
Recommended article: Simplified Axiom Schemes for Implication and Iterated Implication
description: scientific article; zbMATH DE number 930725