/Confluence_Constructor

Confluence Constructor is a java implementation of Vincent van Oostrom’s constructive proof of modularity of confluence in term rewriting systems. It constructs the common reduct for any two diverging sequences of steps in any orthogonal or WCR & SN term rewriting system and modular combinations of these.

Primary LanguageJavaGNU General Public License v3.0GPL-3.0

This repository is not active