118:
103:
36:
61:
108:
113:
98:
93:
74:
48:
22:
17:
87:
35:
The following 3 pages are in this category, out of 3 total.
8:
37:This list may not reflect recent changes
32:Pages in category "Substitution (logic)"
7:
41:
29:
14:
119:Unification (computer science)
1:
62:Capture-avoiding substitution
104:Programming language theory
135:
16:The main article for this
15:
75:Explicit substitution
49:Substitution (logic)
23:Substitution (logic)
109:Mathematical logic
114:Rewriting systems
126:
64:
134:
133:
129:
128:
127:
125:
124:
123:
99:Lambda calculus
84:
83:
82:
81:
80:
79:
67:
60:
53:
28:
27:
12:
11:
5:
132:
130:
122:
121:
116:
111:
106:
101:
96:
94:Formal systems
86:
85:
78:
77:
71:
68:
66:
65:
57:
54:
52:
51:
45:
43:
42:
33:
30:
13:
10:
9:
6:
4:
3:
2:
131:
120:
117:
115:
112:
110:
107:
105:
102:
100:
97:
95:
92:
91:
89:
76:
73:
72:
69:
63:
59:
58:
55:
50:
47:
46:
44:
40:
38:
31:
25:
24:
19:
34:
21:
88:Categories
18:category
20:is
90::
39:.
70:E
56:C
26:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.