Frederik Harwath

Available identifiers

zbMath Open harwath.frederikMaRDI QIDQ269709

List of research outcomes

Publication	Date of Publication	Type
Property Testing for Bounded Degree Databases	2020-08-05	Paper
Preservation and decomposition theorems for bounded degree structures	2018-04-23	Paper
Order-Invariance of Two-Variable Logic is Decidable	2018-04-23	Paper
Succinctness of Order-Invariant Logics on Depth-Bounded Structures	2018-03-22	Paper
On the locality of arb-invariant first-order formulas with modulo counting quantifiers	2017-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q2958533	2017-02-02	Paper
A note on the size of prenex normal forms	2016-04-06	Paper
Preservation and decomposition theorems for bounded degree structures	2016-01-07	Paper
Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures	2014-10-14	Paper
Regular tree languages, cardinality predicates, and addition-invariant FO	2012-08-23	Paper

Research outcomes over time

This page was built for person: Frederik Harwath