Fabian Meier

Publication Activity (10 Years)

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

Top Topics

Default Reasoning

Higher Order Logic

Top Venues

Publications

Julian Biendarra, Jasmin Christian Blanchette, Aymeric Bouzy, Martin Desharnais, Mathias Fleury, Johannes Hölzl, Ondrej Kuncar, Andreas Lochbihler, Fabian Meier, Lorenz Panny, Andrei Popescu, Christian Sternagel, René Thiemann, Dmitriy Traytel
Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. FroCoS (2017)
Jasmin Christian Blanchette, Fabian Meier, Andrei Popescu, Dmitriy Traytel
Foundational nonuniform (Co)datatypes for higher-order logic. LICS (2017)
Eva Söderström, Fabian Meier
Combined SOA Maturity Model (CSOAMM): Towards a Guide for SOA Adoption. IESA (2007)