Combinatory Reduction Systems Extended


Free
  Download  




Publisher Description



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.

Combinatory Reduction Systems Extended is a free software application from the Other subcategory, part of the Development category. The app is currently available in English and it was last updated on 2011-06-24. The program can be installed on WinXP, WinVista, Win7 x64, Win7 x32.

Combinatory Reduction Systems Extended (version ) is available for download from our website. Just click the green Download button above to start. Until now the program was downloaded 90 times. We already checked that the download link to be safe, however for your own protection we recommend that you scan the downloaded software with your antivirus.

Program Details



General

 
Publisher crsx.sf.net
Released Date 2011-06-24
Languages English

Category

 
Category Development
Subcategory Other

System requirements

 
Operating systems windows

Download information

 
File size
Total downloads 90

Pricing

 
License model Free
Price N/A

Version History



Here you can find the changelog of Combinatory Reduction Systems Extended since it was posted on our website on 2015-04-25. The latest version is and it was updated on soft112.com on 2018-07-15. See below the changes in each version:

version

posted on 2011-06-24

version files

posted on 2011-03-10

Several fixes and updates






Add a review


Tell us your experience with Combinatory Reduction Systems Extended



RELATED PROGRAMS
Our Recommendations






BarCode2D-PNG




Click stars to rate this APP!

Users Rating:  
  3.0/5     1
Editor Rating:  
  0/5
Downloads last week: 0
Release Date: 2011-06-24
Publisher: crsx.sf.net
Operating System: windows
Type: Free