scientific article; zbMATH DE number 3874641

zbMATH Open0548.68072MaRDI QIDQ3340179FDOQ3340179

Authors: Giancarlo Mauri, Alberto Bertoni, N. Sabadini 

Publication date: 1982

Title of this publication is not available (Why is that?)

Recommendations

• Membership problems for regular and context-free trace languages
• scientific article; zbMATH DE number 4114058
• scientific article; zbMATH DE number 3870628
• An Automata-Theoretical Characterization of Context-Free Trace Languages
• scientific article; zbMATH DE number 3848633

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)

Cited In (14)

• Title not available (Why is that?)
• The context-freeness problem is coNP-complete for flat counter systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Theory of traces
• Title not available (Why is that?)
• Probabilistic estimation of the number of prefixes of a trace
• An Automata-Theoretical Characterization of Context-Free Trace Languages
• Algebra and Coalgebra in Computer Science
• Preface
• Title not available (Why is that?)
• Title not available (Why is that?)
• Context free closed families of languages

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3340179)