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	Hilfe

Suche: Author="{\c{S}}erb{\u{a}}nu{\c{t}}{\u{a}}, Traian Florin"

• A semantic approach to interpolation
  Andrei Popescu, Traian Florin Şerbănuţă, Grigore Roşu
  Theoretical Computer Science 410 (12-13), 2009, pp. 1109-1128
• A rewriting logic approach to operational semantics
  Traian Florin Şerbănuţă, Grigore Roşu, José Meseguer
  Information and Computation 207 (2), 2009, pp. 305-340