A Complete Equational Axiomatization for MPA with String Iteration

Luca Aceto, J. F. Groote

Publikation: Bog/antologi/afhandling/rapportBogForskning

OriginalsprogEngelsk
Udgivelses stedÅrhus : Daimi
ForlagDepartment of Computer Science, Aarhus University
Antal sider39
StatusUdgivet - 1995
NavnBRICS Report Series
NummerRS-95-28
ISSN0909-0878

Citer dette

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, Nr. 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 s. (BRICS Report Series; Nr. 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, nr. 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 s. (BRICS Report Series; Nr. RS-95-28).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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 s. (BRICS Report Series; Nr. RS-95-28).