| |
| 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 | EE | 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 | |
| 1 | Massimo Marchiori | [2] |
| 2 | Manfred Schmidt-Schauß | [2] [3] [4] |
| 3 | Marko Schütz | [3] |