MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Generic Saturation." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 9 documents found, showing 1 through 9.
ATOM RSS
  • Generic Saturation  
  • by Sy Friedman And, Sy D. Friedman
  • Generic Saturation Sy D. Friedman* M.I.T. and University of Paris 7 sdf@(email omitted); Assuming…
  • Add To MetaCart
  • Class Forcing  
  • by Sy D. Friedman — In this Handbook
  • …], when G is P -generic over M . However, forcing can play another role in set theory. Not only is it a…
  • Cited by 1 (0 self)Add To MetaCart
  • Stable Generic Structures  
  • by unknown authors — 1995
  • …. If the generic model M is saturated then K, the class of models of Th(M), has finite closures. We now present…
  • Add To MetaCart
  • Programming Constraint Inference Engines  
  • by Christian Schulte — 1997 — Proceedings of the Third International Conference on Principles and Practice of Constraint Programming
  • … [5,14]. We show how a generic saturation engine can be built from first-class computation spaces…
  • Cited by 43 (7 self)Add To MetaCart
Help! Showing 1 through 9.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB