scientific article; zbMATH DE number 4025421

zbMATH Open0631.03026MaRDI QIDQ3767334FDOQ3767334

Authors: Michel Parigot 

Publication date: 1984

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

Recommendations

• scientific article; zbMATH DE number 5872401
• scientific article; zbMATH DE number 3841819
• An introduction to finite automata and their connection to logic
• scientific article; zbMATH DE number 3992937
• Logic, semigroups and automata on words

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (4)

• Title not available (Why is that?)
• On Shuffle Ideals
• On the expressive power of temporal logic
• On the expressive power of temporal logic for infinite words

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 Q3767334)