Skript (Fassung vom 4.4.2011) - Lehr- und Forschungsgebiet ...
Skript (Fassung vom 4.4.2011) - Lehr- und Forschungsgebiet ...
Skript (Fassung vom 4.4.2011) - Lehr- und Forschungsgebiet ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Index<br />
> IN , 42<br />
> IN ∗, 18, 42<br />
CC(E), 30<br />
CC S (E), 32<br />
I, 11<br />
Occ, 17<br />
Subterms, 31<br />
U(S), 82<br />
# M , 75<br />
A, 11<br />
CP(R), 98<br />
DOM, 15<br />
E, 9<br />
E ω , 122<br />
R, 37<br />
R ∞ , 115<br />
R ω , 122<br />
SUB(Σ,V), 15<br />
Σ, 8<br />
Σ c , 133<br />
Σ d , 133<br />
T (Σ), 9<br />
T (Σ,V), 8<br />
V, 8<br />
V(t), 9<br />
α f , 11<br />
β, 11<br />
⊥, 18<br />
↓, 45<br />
ǫ, 17<br />
≡, 9<br />
≡ E , 12<br />
← R , 37<br />
↔, 20<br />
↔ ∗ , 20<br />
↔ ∗ E , 21<br />
M(T), 75<br />
|=, 12<br />
π, 17<br />
✄, 9, 42<br />
⇉ R , 104<br />
σ, 15<br />
❂, 69<br />
≻ 1×2 , 67<br />
≻ emb , 63<br />
≻ n lex , 68<br />
≻ lpo , 69<br />
≻ rpos , 79<br />
≻ rpo , 78<br />
≻ mul , 76<br />
→, 36<br />
→ ∗ , 20<br />
→ + , 20<br />
→ = , 20<br />
→ E , 21<br />
→ R , 37<br />
→ = R , 102<br />
☎, 9<br />
⊢, 21<br />
⊢ I , 135<br />
id, 15<br />
t[r] π , 18<br />
t| π , 17<br />
x ∗ , 15<br />
abgeschlossen<br />
unter Kontexten, 18<br />
unter Substitutionen, 15<br />
abstraktes Reduktionssystem, 20<br />
Adäquatheit TES u. Gleichungssystem, 39<br />
Algebra, 11, 12<br />
allgemeinere Substitution, 83<br />
allgemeingültig, 12, 28<br />
allgemeinster Unifikator, 83<br />
allquantifiziert, 15<br />
143
Change language