On the locality of arb-invariant first-order formulas with modulo counting quantifiers von Harwath, Frederik, Schweikardt, Nicole

Volltext

Preservation and decomposition theorems for bounded degree structures von Harwath, Frederik, Heimberg, Lucas, Schweikardt, Nicole

Volltext

Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures von Eickmeyer, Kord, Elberfeld, Michael, Harwath, Frederik

Volltext

A note on the size of prenex normal forms von Harwath, Frederik

Volltext

Succinctness of Order-Invariant Logics on Depth-Bounded Structures von Eickmeyer, Kord, Elberfeld, Michael, Harwath, Frederik

Volltext

On the locality of arb-invariant first-order formulas with modulo counting quantifiers von Harwath, Frederik, Schweikardt, Nicole

Volltext

Order-Invariance of Two-Variable Logic is Decidable von Zeume, Thomas, Harwath, Frederik

Volltext bestellen

Succinctness of Order-Invariant Logics on Depth-Bounded Structures von Eickmeyer, Kord, Elberfeld, Michael, Harwath, Frederik

Volltext bestellen

Preservation and decomposition theorems for bounded degree structures von Harwath, Frederik, Heimberg, Lucas, Schweikardt, Nicole

Volltext

Order-Invariance of Two-Variable Logic is Decidable von Zeume, Thomas, Harwath, Frederik

Volltext

Preservation and decomposition theorems for bounded degree structures von Harwath, Frederik

Volltext bestellen

Succinctness of Order-Invariant Logics on Depth-Bounded Structures von Eickmeyer, Kord, Elberfeld, Michael, Harwath, Frederik

Volltext

Contextual equivalence in lambda-calculi extended with letrec and with a parametric polymorphic type system von Schmidt-Schauß, Manfred

Volltext bestellen