Michaël Thomazo

From MaRDI portal
Person:714499

Available identifiers

zbMath Open thomazo.michaelMaRDI QIDQ714499

List of research outcomes





PublicationDate of PublicationType
A Single Approach to Decide Chase Termination on Linear Existential Rules2022-07-21Paper
On the height of towers of subsequences and prefixes2019-09-17Paper
https://portal.mardi4nfdi.de/entity/Q46086242018-03-21Paper
Complexity of universality and related problems for partially ordered NFAs2017-08-08Paper
https://portal.mardi4nfdi.de/entity/Q52830502017-07-18Paper
On the Complexity of Evaluating Regular Path Queries over Linear Existential Rules2017-06-20Paper
On Boolean combinations forming piecewise testable languages2017-06-15Paper
On the Complexity of k-Piecewise Testability and the Depth of Automata2015-11-10Paper
What Is a Reasonable Argumentation Semantics?2015-02-04Paper
On the complexity of entailment in existential conjunctive first-order logic with atomic negation2012-10-11Paper

Research outcomes over time

This page was built for person: Michaël Thomazo

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:714499&oldid=6944967"
Powered by MediaWiki