Sven Eric Panitz

	1997
4		Sven Eric Panitz, Manfred Schmidt-Schauß: TEA: Automatically Proving Termination of Programs in a Non-strict Higher-Order Functional Language. SAS 1997: 345-360
	1995
3		Manfred Schmidt-Schauß, Sven Eric Panitz, Marko Schütz: Abstract Reduction Using a Tableau Calculus SAS 1995: 348-365
2		Manfred Schmidt-Schauß, Massimo Marchiori, Sven Eric Panitz: Modular Termination of r-Consistent and Left-Linear Term Rewriting Systems. Theor. Comput. Sci. 149(2): 361-374 (1995)
	1993
1		Sven Eric Panitz: Default Reasoning with a Constraint Resolution Principle. LPAR 1993: 265-276

Coauthor Index

1	Massimo Marchiori	[2]
2	Manfred Schmidt-Schauß	[2] [3] [4]
3	Marko Schütz	[3]

Last update Fri Feb 10 22:28:48 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page