MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Practical Decision Procedure for Arithmetic with Function Symbols." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

[12] Sam Owre, John Rushby, Natarajan Shankar, and Friedrich von Henke. Formal verification for fault-tolerant architectures: Some lessons learned. In J. C. P. Woodcock and P. G. Larsen, editors,
by Sam Owre, John Rushby, Natarajan Shankar, Friedrich Von Henke Formal, P. G. Larsen, Fme Industrial-Strength — 1993
…, 21(7):583--585, July 1978. [17] Robert E. Shostak. A practical decision procedure for arithmetic…
Add To MetaCart

A.1. Using Hybrid mjrty 67
by unknown authors
… 1992. Springer Verlag. [31] Robert E. Shostak. A practical decision procedure for arithmetic…
Add To MetaCart

Quality Measures and Assurance for AI Software
by John Rushby, Cognitive Systems Ai Magazine, Richard M. Tong, Neville D. Newman, Gary Berg-cross — 1988
… practical decision procedure for arithmetic with function symbols. Journal of the ACM, 26(2):351--360, April…
Cited by 4 (1 self) – Add To MetaCart

Constraint Logic Programming: A Bibliography
by Spiro Michaylov, R. Overbeek, Logic Programming Proceedings, Yap Hoc, Chuan Restriction, Koichi Furukawa, Joseph C. Tobias, Ii. Knowledge — 1992
…. Shostak. A practical decision procedure for arithmetic with function symbols. Journal of the ACM, 26…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB