scientific article

zbMath0548.68072MaRDI QIDQ3340179

Giancarlo Mauri, Alberto Bertoni, Nicoletta Sabadini

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraic characterizationpolynomial transformationsleast fixed pointsuniform membership problemcontext-free trace languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Theory of traces, Preface, Probabilistic estimation of the number of prefixes of a trace