"Fixed-point Solutions for Ground Term Rewriting Systems."

Dorel Lucanu (1994)

Details and statistics

DOI:

access: unavailable

type: Journal Article

metadata version: 2011-02-08