An Equational Axiomatization for Multi-Exit Iteration

Luca Aceto, W. J. Fokkink

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

Citationsformater