Karl Gmeiner

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 1

Top Topics

Conditional Probabilities

Preserving Transformations

Term Rewrite Systems

Top Venues

Publications

Karl Gmeiner
Confluence of Conditional Term Rewrite Systems via Transformations. WPTE@FSCD (2016)
Naoki Nishida, Makishi Yanagisawa, Karl Gmeiner
On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings. WPTE@RTA/TLCA (2014)
Karl Gmeiner, Naoki Nishida
Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems. WPTE@RTA/TLCA (2014)
Karl Gmeiner, Bernhard Gramlich, Felix Schernhammer
On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems. RTA (2012)
Karl Gmeiner, Bernhard Gramlich, Felix Schernhammer
On (Un)Soundness of Unravelings. RTA (2010)
Karl Gmeiner, Bernhard Gramlich
Transformations of Conditional Rewrite Systems Revisited. WADT (2008)