Name Card

Full name Familienname, Vorname
Gramlich, Bernhard
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 53 (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
2Gramlich, Bernhard ; Györgyfalvay, Klaus A Note on Minimal Counterexamples to Modularity of TerminationBericht Report2012
3Jiresch, Eugen ; Gramlich, Bernhard Realizing Monads in Interaction Nets via Generic Typed RulesKonferenzbeitrag Inproceedings2012
4Gramlich, Bernhard On Modularity of Termination Properties of Rewriting under StrategiesPräsentation Presentation2012
5Gramlich, Bernhard Modularity in term rewriting revisitedArtikel Article2012
6Gmeiner, Karl ; Gramlich, Bernhard ; Schernhammer, Felix On Soundness Conditions for Unraveling Deterministic Conditional Rewrite SystemsKonferenzbeitrag Inproceedings 2012
7Gramlich, Bernhard ; Györgyfalvay, Klaus On Modularity of Termination Properties of Rewriting under StrategiesKonferenzbeitrag Inproceedings2012
8Jiresch, Eugen ; Gramlich, Bernhard Realizing Monads in Interaction Nets via Generic Typed RulesBericht Report2011
9Gramlich, Bernhard On (Un)Soundness of Unraveling Deterministic Conditional Rewrite SystemsPräsentation Presentation2011
10Gramlich, Bernhard Conditional via Unconditional Rewriting - Some Recent DevelopmentsPräsentation Presentation2010
11Gramlich, Bernhard Recent Developments in Conditional via Unconditional RewritingPräsentation Presentation2010
12Gmeiner, Karl ; Gramlich, Bernhard ; Schernhammer, Felix On (Un)Soundness of UnravelingsBericht Report2010
13Alpuente, M. ; Escobar, S. ; Gramlich, B. ; Lucas, S. On-Demand Strategy Annotations Revisited: An Improved On-Demand Evaluation StrategyArtikel Article2010
14Gramlich, Bernhard ; Schernhammer, Felix Extending Context-Sensitivity in Term RewritingArtikel Article2010
15Schernhammer, Felix ; Gramlich, Bernhard Characterizing and Proving Operational Termination of Deterministic Conditional Term Rewriting SystemsArtikel Article2010
16Gramlich, Bernhard ; Schernhammer, Felix Termination of Rewriting with and Automated Synthesis of Forbidden PatternsArtikel Article2010
17Gramlich, Bernhard ; Schernhammer, Felix Outermost Termination via Contextual Dependency PairsKonferenzbeitrag Inproceedings2010
18Gramlich, Bernhard ; Schernhammer, Felix Termination of Rewriting with and Automated Synthesis of Forbidden PatternsKonferenzbeitrag Inproceedings2010
19Gmeiner, Karl ; Gramlich, Bernhard Transformations of Conditional Term Rewrite SystemsKonferenzbeitrag Inproceedings2010
20Jiresch, Eugen ; Gramlich, Bernhard Extensions for Interaction NetsKonferenzbeitrag Inproceedings2010

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Gmeiner Karl - 2014 - Transformational approaches for conditional term rewrite...pdf.jpgGmeiner, Karl Transformational approaches for conditional term rewrite systemsThesis Hochschulschrift 2014
2Gramlich, Bernhard ; Miller, Dale ; Sattler, Uli Automated ReasoningKonferenzband Proceedings2012
3Hutagalung, Milka Proving termination of rewriting with the dependency pair frameworkThesis Hochschulschrift2010
4Bahr, Patrick Infinitary rewriting : theory and applicationsThesis Hochschulschrift2009
5Schernhammer, Felix On context-sensitive term rewritingThesis Hochschulschrift2007
6Gmeiner, Karl Transformation of conditional term rewriting systemsThesis Hochschulschrift2007
7Gramlich, Bernhard Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005, Vienna, Austria, Septemebr 2005, Proceedings, LNAI 3717Konferenzband Proceedings 2005
8Zakraoui, Jesia Software-Tools für Terminierungsbeweise von Termersetzungssystemen : eine vergleichende AnalyseThesis Hochschulschrift2005