Graph View
All Domains
All Tags
#variable-capture
2 topics
Formal Sciences And Logic
Substitution and Unification
College
Variable Substitution and Capture-Avoidance in First-Order Logic
College