Frederik Harwath

According to our database, Frederik Harwath authored at least 11 papers between 2009 and 2018.

Collaborative distances:

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

2018

On Invariant Formulae of First-Order Logic with Numerical Predicates

Frederik Harwath

PhD thesis, 2018

Property Testing for Bounded Degree Databases.

Isolde Adler, Frederik Harwath

Proceedings of the 35th Symposium on Theoretical Aspects of Computer Science, 2018

2017

Succinctness of Order-Invariant Logics on Depth-Bounded Structures.

Kord Eickmeyer, Michael Elberfeld, Frederik Harwath

ACM Trans. Comput. Log., 2017

2016

A note on the size of prenex normal forms.

Frederik Harwath

Inf. Process. Lett., 2016

On the locality of arb-invariant first-order formulas with modulo counting quantifiers.

Frederik Harwath, Nicole Schweikardt

Log. Methods Comput. Sci., 2016

Order-Invariance of Two-Variable Logic is Decidable.

Thomas Zeume, Frederik Harwath

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

Preservation and decomposition theorems for bounded degree structures.

Frederik Harwath, Lucas Heimberg, Nicole Schweikardt

Log. Methods Comput. Sci., 2015

2014

Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures.

Kord Eickmeyer, Michael Elberfeld, Frederik Harwath

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

2013

On the locality of arb-invariant first-order logic with modulo counting quantifiers.

Frederik Harwath, Nicole Schweikardt

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2012

Regular tree languages, cardinality predicates, and addition-invariant FO.

Frederik Harwath, Nicole Schweikardt

Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science, 2012

2009

Reasoning about Contextual Equivalence: From Untyped to Polymorphically Typed Calculi.

David Sabel, Manfred Schmidt-Schauß, Frederik Harwath

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009