Rewriting with a nondeterministic choice operator

• Authors:

• Stéphane Kaplan

• Affiliations:

• Univ. des Sciences, Orsay Cedex, France

• Venue:
• Theoretical Computer Science - First European Symposium on Programming, Saarbru:9Aicken, W. Germany, March 17:8
• Year:
• 1988