Term rewriting and lambda calculus

Saved in:

Bibliographic Details
Published in:	2012 27th Annual IEEE Symposium on Logic in Computer Science p. 12
Main Author:	Klop, Jan Willem
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.06.2012
Subjects:	Algebra Calculus Computer science Convergence Games Tutorials Vocabulary
ISBN:	1467322636, 9781467322638
ISSN:	1043-6871
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!