Antoine Meyer

Available identifiers

zbMath Open meyer.antoineMaRDI QIDQ852010

List of research outcomes

Publication	Date of Publication	Type
Counting CTL	2013-04-09	Paper
https://portal.mardi4nfdi.de/entity/Q3589625	2010-09-20	Paper
Counting CTL	2010-04-27	Paper
Traces of term-automatic graphs	2008-09-25	Paper
Traces of Term-Automatic Graphs	2008-09-17	Paper
On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata	2008-06-05	Paper
Context-Sensitive Languages, Rational Graphs and Determinism	2007-10-11	Paper
Foundations of Software Science and Computation Structures	2007-09-28	Paper
A logic of reachable patterns in linked data-structures	2007-08-23	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
Linearly bounded infinite graphs	2006-11-27	Paper
Mathematical Foundations of Computer Science 2005	2006-10-20	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science	2005-08-12	Paper

Research outcomes over time

This page was built for person: Antoine Meyer