E-LIB Suche - Ergebnisse für: Harwath, Frederik

1

On Invariant Formulae of First-Order Logic with Numerical P..:

Harwath, Frederik , 2018

2

Succinctness of Order-Invariant Logics on Depth-Bounded Str..:

Eickmeyer, Kord ; Elberfeld, Michael ; Harwath, Frederik
ACM Transactions on Computational Logic (TOCL). 18 (2017) 4 - p. 1-25 , 2017

Link: https://dl.acm.org/doi/1..

3

Succinctness of Order-Invariant Logics on Depth-Bounded Str..:

Eickmeyer, Kord ; Elberfeld, Michael ; Harwath, Frederik
ACM Transactions on Computational Logic. 18 (2017) 4 - p. 1-25 , 2017

Link: https://doi.org/10.1145/..

4

Order-Invariance of Two-Variable Logic is Decidable:

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

Zeume, Thomas ; Harwath, Frederik - p. 807-816 , 2016

Link: https://dl.acm.org/doi/1..

5

A note on the size of prenex normal forms:

Harwath, Frederik
Information Processing Letters. 116 (2016) 7 - p. 443-446 , 2016

Link: https://doi.org/10.1016/..

6

Preservation and decomposition theorems for bounded degree ..:

, In: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Harwath, Frederik ; Heimberg, Lucas ; Schweikardt, Nicole - p. 1-10 , 2014

Link: https://dl.acm.org/doi/1..

7

On Invariant Formulae of First-Order Logic with Numerical P..:

Harwath, Frederik
http://edoc.hu-berlin.de/18452/20379. , 2018

Link: http://edoc.hu-berlin.de..

8

Property Testing for Bounded Degree Databases:

Adler, Isolde ; Harwath, Frederik
doi:10.4230/LIPIcs.STACS.2018.6. , 2018

Link: https://doi.org/10.4230/..

9

On the locality of arb-invariant first-order formulas with ..:

Harwath, Frederik ; Schweikardt, Nicole
http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/43829. , 2017

Link: http://publikationen.ub...

10

On the locality of arb-invariant first-order formulas with ..:

Harwath, Frederik ; Schweikardt, Nicole
http://arxiv.org/abs/1611.07716. , 2016

Link: http://arxiv.org/abs/161..

11

Succinctness of Order-Invariant Logics on Depth-Bounded Str..:

Eickmeyer, Kord ; Elberfeld, Michael ; Harwath, Frederik
http://arxiv.org/abs/1603.09055. , 2016

Link: http://arxiv.org/abs/160..

12

Order-Invariance of Two-Variable Logic is Decidable:

Zeume, Thomas ; Harwath, Frederik
http://arxiv.org/abs/1604.05843. , 2016

Link: http://arxiv.org/abs/160..

13

Preservation and decomposition theorems for bounded degree ..:

Harwath, Frederik ; Heimberg, Lucas ; Schweikardt, Nicole
http://arxiv.org/abs/1511.05888. , 2015

Link: http://arxiv.org/abs/151..

14

Preservation and decomposition theorems for bounded degree ..:

Harwath, Frederik ; Heimberg, Lucas ; Schweikardt, Nicole
http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/30634. , 2015

Link: http://publikationen.ub...

15

On the locality of arb-invariant first-order logic with mod..:

Harwath, Frederik ; Schweikardt, Nicole
doi:10.4230/LIPIcs.CSL.2013.363. , 2013

Link: https://doi.org/10.4230/..