Karl Gmeiner

According to our database, Karl Gmeiner authored at least 6 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Confluence of Conditional Term Rewrite Systems via Transformations.

Karl Gmeiner

Proceedings of the Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2016

2014

On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings.

Naoki Nishida, Makishi Yanagisawa, Karl Gmeiner

Proceedings of the First International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2014

Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems.

Karl Gmeiner, Naoki Nishida

Proceedings of the First International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2014

2012

On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems.

Karl Gmeiner, Bernhard Gramlich, Felix Schernhammer

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

2010

On (Un)Soundness of Unravelings.

Karl Gmeiner, Bernhard Gramlich, Felix Schernhammer

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

2008

Transformations of Conditional Rewrite Systems Revisited.

Karl Gmeiner, Bernhard Gramlich

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008