Synthesis for Structure Rewriting Systems

Kaiser, Lukasz

Berlin [u.a.] : Springer (2009)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Mathematical foundations of computer science 2009 : 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 ; proceedings / Rastislav Královic̆; Damian Niwiński (eds.)
Seite(n)/Artikel-Nr.: 415-427

Einrichtungen

• Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]
• Fachgruppe Mathematik [110000]