Computation engineering. Applied automata theory and logic.

zbMATH Open1138.68432MaRDI QIDQ5488458FDOQ5488458

Ganesh Gopalakrishnan

Publication date: 20 September 2006

Recommendations

• Automata theory and its applications
• scientific article; zbMATH DE number 1001667
• scientific article; zbMATH DE number 1330031
• Automata and computability. A programmer's perspective
• scientific article; zbMATH DE number 43003

zbMATH Keywords

Turing MachinesModel CheckingBasic Undecidability ProofsContext-free GrammarsContext-free LanguagesPush-down Automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (2)

• Intuitionistic fuzzy logic control for heater fans
• Title not available (Why is that?)

Uses Software

• SLAM
• Chaff

This page was built for publication: Computation engineering. Applied automata theory and logic.

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