Term rewriting and lambda calculus

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	2012 27th Annual IEEE Symposium on Logic in Computer Science S. 12
1. Verfasser:	Klop, Jan Willem
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.06.2012
Schlagworte:	Algebra Calculus Computer science Convergence Games Tutorials Vocabulary
ISBN:	1467322636, 9781467322638
ISSN:	1043-6871
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!