MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Predication." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 61,540 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Predication  
  • by Walter Kintsch University, Walter Kintsch, W. Kintsch — 2001 — Cognitive Science
  • …Predication 1 Predication Walter Kintsch University of Colorado W. Kintsch Institute of Cognitive…
  • Add To MetaCart
  • Predication  
  • by Walter Kintsch, Predication W. Kintsch — 1999 — Cognitive Science
  • …Institute of Cognitive Science Technical Report Predication Walter Kintsch wkintschpsych…
  • Cited by 11 (2 self) – Add To MetaCart
  • Predication  
  • by Walter Kintsch Institute, Walter Kintsch
  • …Abstract Predication Walter Kintsch* Institute of Cognitive Science, University of Colorado…
  • Add To MetaCart
  • Predicate Abstraction with Minimum Predicates  
  • by Sagar Chaki, Edmund Clarke, Alex Groce, Ofer Strichman — 2003 — In Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME
  • …Predicate Abstraction with Minimum Predicates ? Sagar Chaki Edmund Clarke Alex Groce Ofer…
  • Cited by 20 (5 self) – Add To MetaCart
  • Predicate subtyping with predicate sets  
  • by Joe Hurd — 2001 — 14th International Conference on Theorem Proving in Higher Order Logics: TPHOLs 2001
  • …Predicate Subtyping with Predicate Sets Joe Hurd ⋆ Computer Laboratory University of Cambridge joe…
  • Cited by 3 (1 self) – Add To MetaCart
  • Predicative Programming  
  • by Eric C. R. Hehner — 1984 — Communications of the ACM
  • …Probabilistic Predicative Programming Eric C.R. Hehner Department of Computer Science, University…
  • Cited by 39 (2 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB