Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

175

FUIN
2010

76views more FUIN 2010»

Church-Rosser Made Easy

15 years 5 months ago

Church-Rosser Made Easy

Download www.cs.cornell.edu

The Church

Dexter Kozen

Real-time Traffic

Acceptable Orderings | Alternative Proof | FUIN 2010 | Standard Proof |

claim paper

Post Info
More Details (n/a)

Added	02 Mar 2011
Updated	02 Mar 2011
Type	Journal
Year	2010
Where	FUIN
Authors	Dexter Kozen

Comments (0)