DocumentCode :
3648210
Title :
Term rewriting and lambda calculus
Author :
Jan Willem Klop
fYear :
2012
fDate :
6/1/2012 12:00:00 AM
Firstpage :
12
Lastpage :
12
Keywords :
"Calculus","Convergence","Computer science","Tutorials","Vocabulary","Games","Algebra"
Publisher :
ieee
Conference_Titel :
Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on
ISSN :
1043-6871
Print_ISBN :
978-1-4673-2263-8
Type :
conf
DOI :
10.1109/LICS.2012.12
Filename :
6280419
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3648210
