Applications of the RegularChains Library

Home   |   Downloads   |   Documentation   |   Publications   |   Applications   |   Links


RegularChains Logo   Applications   RegularChains Logo

This page gathers references to articles either reporting on research where the RegularChains library is used, or simply citing the RegularChains library, or uisng regular chain theory. This page does not include articles co-authored by developers of the RegularChains library.

Papers using the RegularChains library

Papers citing the RegularChains library

Papers using triangular decomposition and regular chain theory



Last modified: Sun Nov 17 22:33:53 EST 2013