Show Summary Details

Quick Reference

A term a is said to narrow to a term b using a substitution s (which replaces a variable v by expression e) provided a is obtained from b by replacing an instance of e in b by v.

Subjects: Computing.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.