List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Property testing for bounded degree databases | 2020-08-05 | Paper |
| Preservation and decomposition theorems for bounded degree structures 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) | 2018-04-23 | Paper |
| Order-invariance of two-variable logic is decidable Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| Succinctness of Order-Invariant Logics on Depth-Bounded Structures ACM Transactions on Computational Logic | 2018-03-22 | Paper |
| On the locality of arb-invariant first-order formulas with modulo counting quantifiers Logical Methods in Computer Science | 2017-04-11 | Paper |
| scientific article; zbMATH DE number 6680147 (Why is no real title available?) (available as arXiv preprint) | 2017-02-02 | Paper |
| A note on the size of prenex normal forms Information Processing Letters | 2016-04-06 | Paper |
| Preservation and decomposition theorems for bounded degree structures Logical Methods in Computer Science | 2016-01-07 | Paper |
| Expressivity and succinctness of order-invariant logics on depth-bounded structures Mathematical Foundations of Computer Science 2014 | 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
