Functional schemas with nested predicates
From MaRDI portal
Publication:4057636
DOI10.1016/S0019-9958(75)90175-8zbMath0302.68097OpenAlexW2167358968MaRDI QIDQ4057636
Publication date: 1975
Published in: Information and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0019-9958(75)90175-8
Related Items
A direct algorithm for checking equivalence of LL(k) grammars, Monadic recursion schemes: The effect of constants, The complexity of monadic recursion schemes: executability problems, nesting depth, and applications, The complexity of monadic recursion schemes: Exponential time bounds