Remy Viehoff

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 2

Top Topics

Hierarchically Organized

Top Venues

Log. Methods Comput. Sci.

Publications

Bram Westerbaan, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Henk Barendregt
Statman's Hierarchy Theorem. Log. Methods Comput. Sci. 13 (4) (2017)
Bram Westerbaan, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Henk Barendregt
Statman's Hierarchy Theorem. CoRR (2017)