A rationale for conditional equational programming

No abstract is available in the live database for this paper.

Authors

• Nachum Dershowitz
• Mitsuhiro Okada

Keywords

No keywords are indexed for this paper.