Matthias Hoelzel

According to our database, Matthias Hoelzel authored at least 4 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics.

Matthias Hoelzel, Richard Wilke

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

Convergence and Nonconvergence Laws for Random Expansions of Product Structures.

Anuj Dawar, Erich Grädel, Matthias Hoelzel

Proceedings of the Fields of Logic and Computation III, 2020

2019

Fragments of existential second-order logic and logics with team semantics.

Matthias Hoelzel

PhD thesis, 2019

2018

Dependency Concepts up to Equivalence.

Erich Grädel, Matthias Hoelzel

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018