Term Rewriting & All That
49.49 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.