A Complete Equational Axiomatization for Prefix Iteration with Silent Steps

Luca Aceto, Anna Ingolfsdottir

Research output: Book/ReportBookResearch

Original languageEnglish
Place of PublicationÅrhus : Daimi
PublisherDepartment of Computer Science, Aarhus University
Number of pages27
Publication statusPublished - 1995
SeriesBRICS Report Series
NumberRS-95-5
ISSN0909-0878

Cite this