An Equational Axiomatization for Multi-Exit Iteration

Luca Aceto, W. J. Fokkink

Publikation: Bog/antologi/afhandling/rapportBogForskning

OriginalsprogEngelsk
Udgivelses stedÅrhus : Daimi
ForlagDepartment of Computer Science, Aarhus University
Antal sider30
StatusUdgivet - 1996
NavnBRICS Report Series
NummerRS-96-22
ISSN0909-0878

Citer dette

Aceto, L., & Fokkink, W. J. (1996). An Equational Axiomatization for Multi-Exit Iteration. Århus : Daimi: Department of Computer Science, Aarhus University. BRICS Report Series, Nr. RS-96-22
Aceto, Luca ; Fokkink, W. J. / An Equational Axiomatization for Multi-Exit Iteration. Århus : Daimi : Department of Computer Science, Aarhus University, 1996. 30 s. (BRICS Report Series; Nr. RS-96-22).
@book{392fffb0003311dab4d5000ea68e967b,
title = "An Equational Axiomatization for Multi-Exit Iteration",
author = "Luca Aceto and Fokkink, {W. J.}",
year = "1996",
language = "English",
series = "BRICS Report Series",
number = "RS-96-22",
publisher = "Department of Computer Science, Aarhus University",
address = "Denmark",

}

Aceto, L & Fokkink, WJ 1996, An Equational Axiomatization for Multi-Exit Iteration. BRICS Report Series, nr. RS-96-22, Department of Computer Science, Aarhus University, Århus : Daimi.

An Equational Axiomatization for Multi-Exit Iteration. / Aceto, Luca; Fokkink, W. J.

Århus : Daimi : Department of Computer Science, Aarhus University, 1996. 30 s. (BRICS Report Series; Nr. RS-96-22).

Publikation: Bog/antologi/afhandling/rapportBogForskning

TY - BOOK

T1 - An Equational Axiomatization for Multi-Exit Iteration

AU - Aceto, Luca

AU - Fokkink, W. J.

PY - 1996

Y1 - 1996

M3 - Book

T3 - BRICS Report Series

BT - An Equational Axiomatization for Multi-Exit Iteration

PB - Department of Computer Science, Aarhus University

CY - Århus : Daimi

ER -

Aceto L, Fokkink WJ. An Equational Axiomatization for Multi-Exit Iteration. Århus : Daimi: Department of Computer Science, Aarhus University, 1996. 30 s. (BRICS Report Series; Nr. RS-96-22).