Conservative Extension in Structural Operational Semantics

Luca Aceto, W. Fokkink, C. Verhoef

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

OriginalsprogEngelsk
TidsskriftBulletin of the European Association for Theoretical Computer Science
Vol/bindNo. 69
Sider (fra-til)110-132
ISSN0252-9742
StatusUdgivet - 1999

Bibliografisk note

Also available as BRICS Report Series ; RS-99-24
Also available as BRICS Report Series ; RS-99-24

Citationsformater