Ariya Isihara

1980

• Algorithmic term rewriting systems