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
Effective interpolation and preservation in guarded logics	2018-04-23	Paper
Two-way cost automata and cost logics over infinite trees	2018-04-23	Paper
The Complexity of Boundedness for Guarded Logics	2018-04-23	Paper
Interpolation with Decidable Fixpoint Logics	2018-04-23	Paper
A Step Up in Expressiveness of Decidable Fixpoint Logics	2018-04-23	Paper
Effective Interpolation and Preservation in Guarded Logics	2017-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q2958524	2017-02-02	Paper
On the Expressive Power of Cost Logics over Infinite Words	2012-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q2911613	2012-08-31	Paper
Weak Cost Monadic Logic over Infinite Trees	2011-08-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michael Vanden Boom