Searching for "Hoare's Logic and Peano's Arithmetic." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

Methods and Logics for Proving
by Programs Patrick Cousot, Patrick Cousot
….4.2.3.2.2.4 Incompleteness of Hoare logic for Peano arithmetic 91 7.4.2.3.3 Unprovable valid predicates, mechanical proofs 92…
Add To MetaCart

Showing 1 through 1.

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