Simon Knäuer

Available identifiers

zbMath Open knauer.simonMaRDI QIDQ2106599

List of research outcomes

Publication	Date of Publication	Type
Network satisfaction problems solved by \(k\)-consistency	2024-11-14	Paper
Network Satisfaction Problems Solved by k-Consistency	2023-04-25	Paper
The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom	2023-01-09	Paper
ASNP: a tame fragment of existential second-order logic	2022-12-16	Paper
Hardness of Network Satisfaction for Relation Algebras with Normal Representations	2022-08-30	Paper
On Logics and Homomorphism Closure	2021-04-24	Paper
Datalog-Expressibility for Monadic and Guarded Second-Order Logic	2020-10-12	Paper
ASNP: a tame fragment of existential second-order logic	2020-01-22	Paper

Research outcomes over time

This page was built for person: Simon Knäuer