A Complete Equational Axiomatization for Prefix Iteration with Silent Steps

Luca Aceto, Anna Ingolfsdottir

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

Citer dette

Aceto, L., & Ingolfsdottir, A. (1995). A Complete Equational Axiomatization for Prefix Iteration with Silent Steps. Århus : Daimi: Department of Computer Science, Aarhus University. BRICS Report Series, Nr. RS-95-5
Aceto, Luca ; Ingolfsdottir, Anna. / A Complete Equational Axiomatization for Prefix Iteration with Silent Steps. Århus : Daimi : Department of Computer Science, Aarhus University, 1995. 27 s. (BRICS Report Series; Nr. RS-95-5).
@book{0016b070003311dab4d5000ea68e967b,
title = "A Complete Equational Axiomatization for Prefix Iteration with Silent Steps",
author = "Luca Aceto and Anna Ingolfsdottir",
year = "1995",
language = "English",
series = "BRICS Report Series",
number = "RS-95-5",
publisher = "Department of Computer Science, Aarhus University",
address = "Denmark",

}

Aceto, L & Ingolfsdottir, A 1995, A Complete Equational Axiomatization for Prefix Iteration with Silent Steps. BRICS Report Series, nr. RS-95-5, Department of Computer Science, Aarhus University, Århus : Daimi.

A Complete Equational Axiomatization for Prefix Iteration with Silent Steps. / Aceto, Luca; Ingolfsdottir, Anna.

Århus : Daimi : Department of Computer Science, Aarhus University, 1995. 27 s. (BRICS Report Series; Nr. RS-95-5).

Publikation: Bog/antologi/afhandling/rapportBogForskning

TY - BOOK

T1 - A Complete Equational Axiomatization for Prefix Iteration with Silent Steps

AU - Aceto, Luca

AU - Ingolfsdottir, Anna

PY - 1995

Y1 - 1995

M3 - Book

T3 - BRICS Report Series

BT - A Complete Equational Axiomatization for Prefix Iteration with Silent Steps

PB - Department of Computer Science, Aarhus University

CY - Århus : Daimi

ER -

Aceto L, Ingolfsdottir A. A Complete Equational Axiomatization for Prefix Iteration with Silent Steps. Århus : Daimi: Department of Computer Science, Aarhus University, 1995. 27 s. (BRICS Report Series; Nr. RS-95-5).