Name Card

Full name Familienname, Vorname
Schernhammer, Felix
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 23 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gmeiner, Karl ; Gramlich, Bernhard ; Schernhammer, Felix On Soundness Conditions for Unraveling Deterministic Conditional Rewrite SystemsBericht Report2012
2Gmeiner, Karl ; Gramlich, Bernhard ; Schernhammer, Felix On Soundness Conditions for Unraveling Deterministic Conditional Rewrite SystemsKonferenzbeitrag Inproceedings 2012
3Schernhammer, Felix ; Meseguer, José Incremental checking of well-founded recursive specifications modulo axiomsKonferenzbeitrag Inproceedings 2011
4Schernhammer, Felix Generalizing Context-Sensitivity in Term RewritingPräsentation Presentation2010
5Gmeiner, Karl ; Gramlich, Bernhard ; Schernhammer, Felix On (Un)Soundness of UnravelingsBericht Report2010
6Gramlich, Bernhard ; Schernhammer, Felix Extending Context-Sensitivity in Term RewritingArtikel Article2010
7Schernhammer, Felix ; Gramlich, Bernhard Characterizing and Proving Operational Termination of Deterministic Conditional Term Rewriting SystemsArtikel Article2010
8Gramlich, Bernhard ; Schernhammer, Felix Termination of Rewriting with and Automated Synthesis of Forbidden PatternsArtikel Article2010
9Gramlich, Bernhard ; Schernhammer, Felix Outermost Termination via Contextual Dependency PairsKonferenzbeitrag Inproceedings2010
10Gramlich, Bernhard ; Schernhammer, Felix Termination of Rewriting with and Automated Synthesis of Forbidden PatternsKonferenzbeitrag Inproceedings2010
11Gmeiner, Karl ; Gramlich, Bernhard ; Schernhammer, Felix On (Un)Soundness of UnravelingsKonferenzbeitrag Inproceedings2010
12Schernhammer, Felix ; Gramlich, Bernhard Characterizing and Proving Operational Termination of Deterministic Conditional Term Rewriting SystemsBericht Report2009
13Gramlich, Bernhard ; Schernhammer, Felix Extending Context-Sensitivity in Term RewritingBericht Report2009
14Schernhammer, Felix ; Gramlich, Bernhard On Some Implementation Aspects of VMTLKonferenzbeitrag Inproceedings2009
15Gramlich, Bernhard ; Schernhammer, Felix Extending Context-Sensitivity in Term RewritingKonferenzbeitrag Inproceedings2009
16Schernhammer, Felix ; Gramlich, Bernhard VMTL–A Modular Termination LaboratoryKonferenzbeitrag Inproceedings 2009
17Schernhammer, Felix ; Gramlich, Bernhard On Operational Termination of Deterministic Conditional Rewrite SystemsKonferenzbeitrag Inproceedings 2008
18Schernhammer, Felix ; Gramlich, Bernhard Termination of Lazy Rewriting RevisitedArtikel Article2008
19Schernhammer, Felix ; Gramlich, Bernhard On Proving and Characterizing Operational Termination of Deterministic Conditional Rewrite SystemsBericht Report2007
20Schernhammer, Felix ; Gramlich, Bernhard Termination of Lazy Rewriting RevisitedBericht Report2007