Decidable properties of monadic recursive schemas with a depth parameter

DOI10.1007/BF00265683zbMath0564.68057OpenAlexW3023246065MaRDI QIDQ1058305

Jakob Gonczarowski

Publication date: 1985

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00265683

zbMATH Keywords

program schemasdepth-of-recursion counterETOL languagesMonadic table counter schemasregular control sequences

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

This page was built for publication: Decidable properties of monadic recursive schemas with a depth parameter