Michael Raulf

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 2

Top Topics

Monadic Second Order Logic

Closure Operator

Relational Algebra

Quantifier Free

Top Venues

Sci. Comput. Program.

Publications

Sylvia Grewe, Sebastian Erdweg, André Pacak, Michael Raulf, Mira Mezini
Exploration of language specifications by compilation to first-order logic. Sci. Comput. Program. 155 (2018)
Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini
Exploration of language specifications by compilation to first-order logic. PPDP (2016)