- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 3 |      | Manfred Schmidt-Schauß, David Sabel, Marko Schütz: Safety of Nöcker's strictness analysis. J. Funct. Program. 18(4): 503-551 (2008) |
| 2007 | ||
| 2 | | Manfred Schmidt-Schauß, David Sabel, Marko Schütz: Deciding inclusion of set constants over infinite non-strict data structures. ITA 41(2): 225-241 (2007) |
| 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] |
| 3 | Manfred Schmidt-Schauß | [1] [2] [3] |