Thomas Feller

Available identifiers

zbMath Open feller.thomasMaRDI QIDQ2198975

List of research outcomes

Publication	Date of Publication	Type
Finite-cliquewidth sets of existential rules: toward a general criterion for decidable yet highly expressive querying	2024-10-08	Paper
Decidability of Querying First-Order Theories via Countermodels of Finite Width	2023-04-13	Paper
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying	2022-09-06	Paper
Approximated determinisation of weighted tree automata	2021-10-04	Paper
Sequentiality of group-weighted tree automata	2021-10-04	Paper
On Logics and Homomorphism Closure	2021-04-24	Paper
The classification of homomorphism homogeneous tournaments	2020-09-15	Paper
On the Design of Hardware Building Blocks for Modern Lattice-Based Encryption Schemes	2012-11-13	Paper

Research outcomes over time

This page was built for person: Thomas Feller