Frederik Harwath

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 8

Top Topics

Anti Unification

Top Venues

Log. Methods Comput. Sci.

Publications

Isolde Adler, Frederik Harwath
Property Testing for Bounded Degree Databases. STACS (2018)
Kord Eickmeyer, Michael Elberfeld, Frederik Harwath
Succinctness of Order-Invariant Logics on Depth-Bounded Structures. ACM Trans. Comput. Log. 18 (4) (2017)
Frederik Harwath
A note on the size of prenex normal forms. Inf. Process. Lett. 116 (7) (2016)
Thomas Zeume, Frederik Harwath
Order-Invariance of Two-Variable Logic is Decidable. CoRR (2016)
Frederik Harwath, Nicole Schweikardt
On the locality of arb-invariant first-order formulas with modulo counting quantifiers. Log. Methods Comput. Sci. 12 (4) (2016)
Thomas Zeume, Frederik Harwath
Order-Invariance of Two-Variable Logic is Decidable. LICS (2016)
Kord Eickmeyer, Michael Elberfeld, Frederik Harwath
Succinctness of Order-Invariant Logics on Depth-Bounded Structures. CoRR (2016)
Frederik Harwath, Lucas Heimberg, Nicole Schweikardt
Preservation and decomposition theorems for bounded degree structures. Log. Methods Comput. Sci. 11 (4) (2015)
Frederik Harwath, Lucas Heimberg, Nicole Schweikardt
Preservation and decomposition theorems for bounded degree structures. CSL-LICS (2014)
Kord Eickmeyer, Michael Elberfeld, Frederik Harwath
Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures. MFCS (1) (2014)
Frederik Harwath, Nicole Schweikardt
On the locality of arb-invariant first-order logic with modulo counting quantifiers. CSL (2013)
Frederik Harwath, Nicole Schweikardt
Regular tree languages, cardinality predicates, and addition-invariant FO. STACS (2012)
David Sabel, Manfred Schmidt-Schauß, Frederik Harwath
Reasoning about Contextual Equivalence: From Untyped to Polymorphically Typed Calculi. GI Jahrestagung (2009)