Axiomatization of a functional logic language

This publication has 12 references indexed in Scilit:

• The unification of functional and logic languages-towards constraint functional programming
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Axiomatization of a functional logic language
  Published by Springer Nature ,1990
• Rewriting techniques for program synthesis
  Published by Springer Nature ,1989
• Transformational derivation of programs using the focus system
  Published by Association for Computing Machinery (ACM) ,1988
• On the Axiomatization of “If-Then-Else”
  SIAM Journal on Computing, 1987
• The Munich Project CIP
  Published by Springer Nature ,1987
• Equality, types, modules, and (why not?) generics for logic programming
  The Journal of Logic Programming, 1984
• Varieties of ”If-Then-Else“
  SIAM Journal on Computing, 1983
• Canonical Forms and Unification.
  Published by Defense Technical Information Center (DTIC) ,1980
• Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
  Journal of the ACM, 1974