Browsing Publikationen by Person "Faßbender, Heinz"
Now showing items 1-3 of 3
ArbeitspapierWe formalize a universal unification algorithm for the class of equational theories which is induced by the class of canonical, totally-defined, not strictly subunifiable term rewriting systems (for short: ctn-trs). For a ...
ArbeitspapierWe consider particular functional programs in which on the one hand the recursion is restricted to syntax-directed recursion and on the other hand simultaneous recursion and nesting of function calls in parameter positions ...