Announcement:Cached copies and corrections services are not available due to maintenance, we hope to restore these services by 6 PM December 18th 2009.
Documents
Authors
Tables !
Searching for "Rewriting of imperative programs into logical equations." – sorted by Relevance.