Name Card

Full name Familienname, Vorname
Schneider-Kamp, Peter
 

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Schernhammer, Felix ; Meseguer, José Incremental checking of well-founded recursive specifications modulo axiomsKonferenzbeitrag Inproceedings 2011
2Gramlich, Bernhard ; Schernhammer, Felix Outermost Termination via Contextual Dependency PairsKonferenzbeitrag Inproceedings2010