Synthesis for Structure Rewriting Systems

Kaiser, Lukasz

Berlin [u.a.] : Springer (2009)
Contribution to a book, Contribution to a conference proceedings

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.)
Page(s)/Article-Nr.: 415-427


  • Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
  • Department of Mathematics [110000]