MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Total Ordering Problem." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 31 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • A Tutorial on Specification and Verification Using PVS  
  • by N. Shankar, Ps W. Pase, B. A. Silverberg, Rvho John Rushby, Friedrich Von Henke, Sggh James B. Saxe, Stephen J. Garl, John V. Guttag, James J. Horning Using, Ssms R. E. Shostak, R. Schwartz, Verification In D. Lovel, Th International Conference On, Bm Robert S. Boyer, J Strother, Moore Mjrty---a In — 1993
  • … to the given total ordering. Problem 4 Prove the stack axioms for the definitions stated in newstacks. Problem
  • Cited by 14 (0 self)Add To MetaCart
  • [38] W.H. Press, B.P. Flannery, S.A. Teukolsky, and W.T. Vetterling.  
  • by W. H. Press, B. P. Flannery, S. A. Teukolsky, W. T. Vetterling, Numerical Recipes The, D. Slonim, L. Stein, L. Kruglyak, K. Lange, M. Boehnke, D. R. Cox
  • … States Department of Energy. Primer on molecular genetics, June 1992. [36] J. Opatrny. Total ordering
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB