Canonical constraints for parameterized data types

• Authors:

• E. G. Wagner;H. Ehrig

• Affiliations:

• IBM Thomas J. Watson Research Center, Yorktown Heights, NY;IBM Thomas J. Watson Research Center, Yorktown Heights, NY

• Venue:
• Theoretical Computer Science
• Year:
• 1987