scientific article; zbMATH DE number 847943

MaRDI QIDQ4866989zbMATH OpenFDO

Authors K. U. Schulz, Dov Gabbay

Publication date 15 August 1996

zbMATH Keywords

Chomsky hierarchydeterminismformal languagelogic finite automatonlogic grammarsparsingPrologprovably distinct classes of logic languagesunification-based automata

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 194781
• LOGICAL SYNTAX
• scientific article; zbMATH DE number 4119651
• scientific article; zbMATH DE number 42778
• scientific article; zbMATH DE number 1157650
• scientific article; zbMATH DE number 176241
• An introduction to finite automata and their connection to logic
• scientific article; zbMATH DE number 42160
• scientific article; zbMATH DE number 1223628

Cited in

(5)

• Finite-state unification automata and relational languages
• Automata vs. Logics on Data Words
• scientific article; zbMATH DE number 203970 (Why is no real title available?)
• Logic and Branching Automata
• Automata and logics over finitely varying functions

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