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