Sven Eric Panitz

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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