scientific article; zbMATH DE number 709536

zbMATH Open0819.68081MaRDI QIDQ4318987FDOQ4318987

Jean-Éric Pin

Publication date: 27 August 1995

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

zbMATH Keywords

finite automatainfinite wordsalgebraic monoidssecond-order monadic logicKleene operations

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Cited In (6)

• Deciding regular grammar logics with converse through first-order logic
• Fine hierarchies and m-reducibilities in theoretical computer science
• Algebraic tools for the concatenation product.
• The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey
• Logics of synonymy
• A logical characterization of data 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 Q4318987)