[X] The "/cx_Freeze/4.1/cx_Freeze-4.1-py25-1.i386.rpm" file could not be found or is not available. Please select another file.

Share

More
Combinatory Reduction Systems Extended Icon

Combinatory Reduction Systems Extended

alpha

by krisrose


Implementation of Combinatory Reduction Systems (CRS) with experimental extensions, in Java. CRS is a formalism for higher-order rewriting invented by J.W.Klop in 1980. For further details see the Project/Web Site.


http://crsx.sourceforge.net





Separate each tag with a space.

Release Date:

2008-04-01

Topic:

License:

Intended Audience:

User Interface:

Programming Language:

Registered:

2007-03-08

Ratings and Reviews

Be the first to post a text review of Combinatory Reduction Systems Extended. Rate and review a project by clicking thumbs up or thumbs down in the right column.

Project Feed

Rate and Review

Be the first person to add a text review.

Would you recommend this project?






<

Related Projects

Combinatory Reduction Systems Extended Actions

Thanks for your rating!

Would you also like to write a review?





Skip Review

Thanks for your review!

Get credit for your review by logging in via OpenID. Click your account provider:

No Thanks