Marko Schütz

Publication Activity (10 Years)

Years Active: 1995-2008
Publications (10 Years): 0

Goethe University Frankfurt, Frankfurt am Main, Germany (PHD)

Education History

Goethe University Frankfurt, Frankfurt am Main, Germany

PHD

Publications

Manfred Schmidt-Schauß, David Sabel, Marko Schütz
Safety of Nöcker's strictness analysis. J. Funct. Program. 18 (4) (2008)
Manfred Schmidt-Schauß, David Sabel, Marko Schütz
Deciding inclusion of set constants over infinite non-strict data structures. RAIRO Theor. Informatics Appl. 41 (2) (2007)
Manfred Schmidt-Schauß, Sven Eric Panitz, Marko Schütz
Abstract Reduction Using a Tableau Calculus SAS (1995)