Back to Results
First PageMeta Content
Logic in computer science / Formal languages / Lambda calculus / Mathematical logic / Rewriting / Computability theory / Combinatory logic / Normal form / Overlap / Theoretical computer science / Mathematics / Computer science


Document Date: 2008-11-04 01:37:22

Open Document

File Size: 90,04 KB

Share Result on Facebook

City

Tokyo / /

Company

TOYAMA NTT Electrical Communications Laboratories / /

IndustryTerm

linear rewriting systems / term rewriting systems / reduction systems / irreducible term rewriting systems / /

Organization

Univ. of Utrect / /

Person

Henk Pieter Barendregt / Leo Bachmair / Jan Willem Klop / Pieter Barendregt / /

Position

Acknowledgment The author / /

SocialTag