Florian Starke

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
Digraphs modulo primitive positive constructability (available as arXiv preprint)	N/A	Paper
Symmetric linear arc monadic Datalog and gadget reductions	2026-07-08	Paper
Symmetric linear arc monadic Datalog and gadget reductions Theory of Computing Systems	2026-04-27	Paper
Maximal digraphs with respect to primitive positive constructability Combinatorica	2025-06-19	Paper
The smallest hard trees Constraints	2023-09-15	Paper
ASNP: a tame fragment of existential second-order logic (available as arXiv preprint)	2022-12-16	Paper
Smooth digraphs modulo primitive positive constructability and cyclic loop conditions International Journal of Algebra and Computation	2021-09-07	Paper
Maximal Digraphs With Respect to Primitive Positive Constructibility	2021-03-15	Paper
Uniform parsing for hyperedge replacement grammars Journal of Computer and System Sciences	2021-03-10	Paper
Exploring the topological entropy of formal languages Theoretical Computer Science	2020-12-15	Paper
On associative operations on commutative integral domains Semigroup Forum	2020-05-23	Paper
ASNP: a tame fragment of existential second-order logic (available as arXiv preprint)	2020-01-22	Paper

Research outcomes over time

This page was built for person: Florian Starke