Reasoning and Rewriting with Set-Relations I: Ground Completeness

• Authors:

• Valentinas Kriauciukas;Michal Walicki

• Affiliations:

• -;-

• Venue:
• CSL '94 Selected Papers from the 8th International Workshop on Computer Science Logic
• Year:
• 1994