A Complete Equational Axiomatization for MPA with String Iteration

Luca Aceto, J. F. Groote

Research output: Book/ReportBookCommunication

Original languageEnglish
Place of PublicationAmsterdam
PublisherCentrum voor Wiskunde en Informatica
Publication statusPublished - 1997
SeriesReport
NumberSEN-R9708

Cite this

Aceto, L., & Groote, J. F. (1997). A Complete Equational Axiomatization for MPA with String Iteration. Amsterdam: Centrum voor Wiskunde en Informatica. Report, No. SEN-R9708
Aceto, Luca ; Groote, J. F. / A Complete Equational Axiomatization for MPA with String Iteration. Amsterdam : Centrum voor Wiskunde en Informatica, 1997. (Report; No. SEN-R9708).
@book{ff13bf60003211dab4d5000ea68e967b,
title = "A Complete Equational Axiomatization for MPA with String Iteration",
author = "Luca Aceto and Groote, {J. F.}",
year = "1997",
language = "English",
series = "Report",
number = "SEN-R9708",
publisher = "Centrum voor Wiskunde en Informatica",

}

Aceto, L & Groote, JF 1997, A Complete Equational Axiomatization for MPA with String Iteration. Report, no. SEN-R9708, Centrum voor Wiskunde en Informatica, Amsterdam.

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

Amsterdam : Centrum voor Wiskunde en Informatica, 1997. (Report; No. SEN-R9708).

Research output: Book/ReportBookCommunication

TY - BOOK

T1 - A Complete Equational Axiomatization for MPA with String Iteration

AU - Aceto, Luca

AU - Groote, J. F.

PY - 1997

Y1 - 1997

M3 - Book

T3 - Report

BT - A Complete Equational Axiomatization for MPA with String Iteration

PB - Centrum voor Wiskunde en Informatica

CY - Amsterdam

ER -

Aceto L, Groote JF. A Complete Equational Axiomatization for MPA with String Iteration. Amsterdam: Centrum voor Wiskunde en Informatica, 1997. (Report; No. SEN-R9708).