Austin, TX    

From its founding, in 1983, through 1997 Computational Logic Inc. (CLI) performed advanced research and development in mathematical modeling of digital hardware and software systems. This web site provides an archive for those results.

Background Research Abstracts
News Software Reports
FTP Hardware Bibliography

Some results of particular interest:

Business & contract-related point of contact:

Maintained by

This page is URL