Marko Schütz (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Manfred Schmidt-Schauß, David Sabel, Marko Schütz: Safety of Nöcker's strictness analysis. J. Funct. Program. 18(4): 503-551 (2008)

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)

1 Manfred Schmidt-Schauß, Sven Eric Panitz, Marko Schütz: Abstract Reduction Using a Tableau Calculus SAS 1995: 348-365

Selection of 3 from 3 records - Marko Schütz has 3 coauthors

Last update 2012-02-18 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

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