Fakultät für Informatik - Technische Universität München Lehrstuhl für Effiziente Algorithmen

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen [1]	Hilfe

Suche: Citkey="Lenisa-Power-Watanabe/04"

Theoretical Computer Science 327 (1-2), 2004, pp. 135-154

Editors		G. Ausiello, D. Sannella
Publisher:		Elsevier B.V.
Address:		Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo
Keywords:		abstract operational semantics, gsos-rule, distributive law, initial/final semantics
URL:		http://dx.doi.org/10.1016/j.tcs.2004.07.024