Frederik Harwath

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