COMPUTATIONAL LOGIC, INC.
  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: mksmith@acm.org

Maintained by webmaster@computationallogic.com

This page is URL http://www.computationallogic.com/index.html