| |
| 2008 | ||
|---|---|---|
| 2 | EE | Manfred Schmidt-Schauß, David Sabel, Marko Schütz: Safety of Nöcker's strictness analysis. J. Funct. Program. 18(4): 503-551 (2008) |
| 1995 | ||
| 1 | Manfred Schmidt-Schauß, Sven Eric Panitz, Marko Schütz: Abstract Reduction Using a Tableau Calculus SAS 1995: 348-365 | |
| 1 | Sven Eric Panitz | [1] |
| 2 | David Sabel | [2] |
| 3 | Manfred Schmidt-Schauß | [1] [2] |