AOP
Paper-1 TOC-1
Degeneracy
GTODE
Extrinsic Theorems Software
Unary
Prioritors
TAS
Intrinsic
Operations
Extrinsic
functions
Equations
Design
This presents the verification of all the extrinsic theorems of the STAS system. The theorems are tested for each pair in the STAS system. Each table listed by the program has its own description.
Webmaster tech@50megs.com with questions or comments about this web site. General Information: abumsamh@emirates.net.ae Copyright © 2000 GTODE on Internet Designed by: R. K. Abu-Msameh Last modified: January 31, 2001
IEEE International Symposium MVL
Logic Technical Committee
MVL International Journal.
