MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Programming Language Constructs for Which it is Impossible to Obtain "Good" Hoare-Like Axiom Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 325,110 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • GOOD RESIDENTIAL  
  • by Design Sa, Diana Laidlaw Mlc — 1999
  • …GOOD RESIDENTIAL DESIGN SA A resource for planning, designing and developing neighbourhoods…
  • Add To MetaCart
  • Good Bigrams  
  • by Good Bigrams, Christer Johansson — 1996
  • … from the probability in the language. It is impossible to have a fixed corpus that equals the language…
  • Add To MetaCart
  • Good Bigrams  
  • by Christer Johansson Dept — 1996
  • …'om the pro- bability in the language. It is impossible to have a fixed corpus that equals the language since…
  • Add To MetaCart
  • So Good,  
  • by My Father, Frank Dell Kronewitter — 2000
  • …. In particular, we will introduce the notion of a good polynomial and the gap of a polynomial ideal which…
  • Add To MetaCart
  • Good Features to Track  
  • by Jianbo Shi, Carlo Tomasi — 1994
  • …-based vision system can work unless good features can be identified and tracked from frame to frame. Although…
  • Cited by 777 (9 self) – Add To MetaCart
  • Provably Good Mesh Generation  
  • by Marshall Bern, David Eppstein, John Gilbert — 1990 — J. Comput. Syst. Sci
  • … for which the construction of Lemma 3 is possible. We summarize our results so far: Theorem 2. For any…
  • Cited by 161 (12 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB