Munoz, Cesar

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Full name Familienname, Vorname
Munoz, Cesar
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Gramlich, Bernhard ; Schernhammer, Felix ; Kirchner, Helene ; Munoz, Cesar Termination of Rewriting with and Automated Synthesis of Forbidden PatternsKonferenzbeitrag Inproceedings2010