Term Rewriting & All That
73.10 EUR
Ein umfassendes Handbuch über Terme umschreiben, das von den Grundprinzipien der formalen Semantik bis zu praktischen Algorithmen reicht und zeigt, wie Termumwandlungen in Logik, Programmierung und Mathematik verknüpft sind.