Decidable Properties of Monadic Functional Schemas

A class of (monadic) functional schemas which properly includes Ianov flowchart schemas is defined. It is shown that the termination, divergence, and freedom problems for functional schemas are dec...