Term rewriting and lambda calculus

Uložené v:

Podrobná bibliografia
Vydané v:	2012 27th Annual IEEE Symposium on Logic in Computer Science s. 12
Hlavný autor:	Klop, Jan Willem
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.06.2012
Predmet:	Algebra Calculus Computer science Convergence Games Tutorials Vocabulary
ISBN:	1467322636, 9781467322638
ISSN:	1043-6871
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!