scientific article; zbMATH DE number 410526

MaRDI QIDQ3134504zbMATH OpenFDO

Authors C. Benzaken

Publication date 7 September 1993

zbMATH Keywords

automatadecidabilityformal languagegrammarspropositional language

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Classical propositional logic (03B05) Grammars and rewriting systems (68Q42) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 988311
• An introduction to formal logic
• scientific article; zbMATH DE number 50432
• scientific article; zbMATH DE number 914492
• scientific article; zbMATH DE number 790192

Cited in

(2)

• Enumerated BSP Automata
• scientific article; zbMATH DE number 4037246 (Why is no real title available?)

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