Publication:3690242

From MaRDI portal

Jump to:navigation, search

zbMath0572.68061MaRDI QIDQ3690242

Publication date: 1985

zbMATH Keywords

context-free languages; regular languages; recursive schemes

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3690242&oldid=17171347"