Function definitions in term rewriting and applicative programming

DOI10.1016/S0019-9958(86)80010-9zbMath0629.68033OpenAlexW2061151133MaRDI QIDQ3766841

Chilukuri K. Mohan, Mandayam Srivas

Publication date: 1986

Published in: Information and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0019-9958(86)80010-9

zbMATH Keywords

completenessterminationunambiguityconditional term rewriting systemsApplicative systems

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items (1)

Negation with logical variables in conditional rewriting

This page was built for publication: Function definitions in term rewriting and applicative programming