scientific article; zbMATH DE number 5055439

zbMATH Open1138.68432MaRDI QIDQ5488458FDOQ5488458

Ganesh Gopalakrishnan

Publication date: 20 September 2006

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

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 (1)

• Intuitionistic fuzzy logic control for heater fans

Uses Software

• SLAM
• Chaff

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