Pierre Chambart

Available identifiers

zbMath Open chambart.pierreMaRDI QIDQ290911

List of research outcomes

Publication	Date of Publication	Type
Forward analysis and model checking for trace bounded WSTS	2016-06-03	Paper
Forward Analysis and Model Checking for Trace Bounded WSTS	2011-06-29	Paper
Pumping and Counting on the Regular Post Embedding Problem	2010-09-07	Paper
Computing Blocker Sets for the Regular Post Embedding Problem	2010-08-31	Paper
Toward a Compositional Theory of Leftist Grammars and Transformations	2010-04-27	Paper
Mixing Lossy and Perfect Fifo Channels	2008-11-25	Paper
Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems	2008-04-24	Paper
The ω-Regular Post Embedding Problem	2008-04-11	Paper

Research outcomes over time

This page was built for person: Pierre Chambart