Publication:3766817

From MaRDI portal

Jump to:navigation, search

zbMath0629.68013MaRDI QIDQ3766817

Publication date: 1987

zbMATH Keywords

formal languages; monadic recursion schemes; monadic program 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:3766817&oldid=17308327"