Karl Gmeiner

	2012
3		Karl Gmeiner, Bernhard Gramlich, Felix Schernhammer: On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems. RTA 2012: 193-208
	2010
2		Karl Gmeiner, Bernhard Gramlich, Felix Schernhammer: On (Un)Soundness of Unravelings. RTA 2010: 119-134
	2008
1		Karl Gmeiner, Bernhard Gramlich: Transformations of Conditional Rewrite Systems Revisited. WADT 2008: 166-186

Coauthor Index

1	Bernhard Gramlich	[1] [2] [3]
2	Felix Schernhammer	[2] [3]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page