Michael Vanden Boom

Available identifiers

zbMath Open vanden-boom.michaelMaRDI QIDQ2911612

List of research outcomes

Publication	Date of Publication	Type
Characterizing definability in decidable fixpoint logics	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5232911	2019-09-13	Paper
Query answering with transitive and linear-ordered data	2018-11-01	Paper
Interpolation with decidable fixpoint logics	2018-04-23	Paper
A Step Up in Expressiveness of Decidable Fixpoint Logics	2018-04-23	Paper
The complexity of boundedness for guarded logics	2018-04-23	Paper
Two-way cost automata and cost logics over infinite trees	2018-04-23	Paper
Effective interpolation and preservation in guarded logics	2018-04-23	Paper
Effective interpolation and preservation in guarded logics	2017-07-12	Paper
Deciding the weak definability of Büchi definable tree languages	2017-02-02	Paper
On the Expressive Power of Cost Logics over Infinite Words	2012-11-01	Paper
Quasi-weak cost automata: a new variant of weakness	2012-08-31	Paper
Weak cost monadic logic over infinite trees	2011-08-17	Paper

Research outcomes over time

This page was built for person: Michael Vanden Boom