Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[2]
Hilfe
Suche: Author="Chambart, Pierre"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Forward analysis and model checking for trace bounded WSTS
Pierre Chambart
,
Alain Finkel
,
Sylvain Schmitz
Lecture Notes in Computer Science
6709
, 2011, pp. 49-68
Pumping and counting on the regular post embedding problem
Pierre Chambart
,
Philippe Schnoebelen
Lecture Notes in Computer Science
6199
, 2010, pp. 64-75
Post embedding problem is not primitive recursive, with applications to channel systems
Pierre Chambart
,
Philippe Schnoebelen
Lecture Notes in Computer Science
4855
, 2007, pp. 265-276