Order:
  1.  28
    The reducts of equality up to primitive positive interdefinability.Manuel Bodirsky, Hubie Chen & Michael Pinsker - 2010 - Journal of Symbolic Logic 75 (4):1249-1292.
    We initiate the study of reducts of relational structures up to primitive positive interdefinability: After providing the tools for such a study, we apply these tools in order to obtain a classification of the reducts of the logic of equality. It turns out that there exists a continum of such reducts. Equivalently, expressed in the language of universal algebra, we classify those locally closed clones over a countable domain which contain all permutations of the domain.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  7
    REVIEWS-Principles of constraint programming.K. R. Apt & Hubie Chen - 2006 - Bulletin of Symbolic Logic 12 (1):128-130.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  17
    Apt Krzysztof R.. Principles of constraint programming. Cambridge University Press, Cambridge, United Kingdom, 2003, xii+ 407 pp. [REVIEW]Hubie Chen - 2006 - Bulletin of Symbolic Logic 12 (1):128-131.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark