A Complete Equational Axiomatization for MPA with String Iteration

Luca Aceto, J. F. Groote

Research output: Book/ReportBookResearch

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

Cite this

Aceto, L., & Groote, J. F. (1995). A Complete Equational Axiomatization for MPA with String Iteration. Århus : Daimi: Department of Computer Science, Aarhus University. BRICS Report Series, No. RS-95-28
Aceto, Luca ; Groote, J. F. / A Complete Equational Axiomatization for MPA with String Iteration. Århus : Daimi : Department of Computer Science, Aarhus University, 1995. 39 p. (BRICS Report Series; No. RS-95-28).
@book{ff926540003211dab4d5000ea68e967b,
title = "A Complete Equational Axiomatization for MPA with String Iteration",
author = "Luca Aceto and Groote, {J. F.}",
year = "1995",
language = "English",
series = "BRICS Report Series",
number = "RS-95-28",
publisher = "Department of Computer Science, Aarhus University",
address = "Denmark",

}

Aceto, L & Groote, JF 1995, A Complete Equational Axiomatization for MPA with String Iteration. BRICS Report Series, no. RS-95-28, Department of Computer Science, Aarhus University, Århus : Daimi.

A Complete Equational Axiomatization for MPA with String Iteration. / Aceto, Luca; Groote, J. F.

Århus : Daimi : Department of Computer Science, Aarhus University, 1995. 39 p. (BRICS Report Series; No. RS-95-28).

Research output: Book/ReportBookResearch

TY - BOOK

T1 - A Complete Equational Axiomatization for MPA with String Iteration

AU - Aceto, Luca

AU - Groote, J. F.

PY - 1995

Y1 - 1995

M3 - Book

T3 - BRICS Report Series

BT - A Complete Equational Axiomatization for MPA with String Iteration

PB - Department of Computer Science, Aarhus University

CY - Århus : Daimi

ER -

Aceto L, Groote JF. A Complete Equational Axiomatization for MPA with String Iteration. Århus : Daimi: Department of Computer Science, Aarhus University, 1995. 39 p. (BRICS Report Series; No. RS-95-28).