2 results
The reducts of equality up to primitive positive interdefinability
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 4 / December 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1249-1292
- Print publication:
- December 2010
-
- Article
- Export citation
Krzysztof R. Apt. Principles of constraint programming. Cambridge University Press, Cambridge, United Kingdom, 2003, xii + 407 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 128-131
- Print publication:
- March 2006
-
- Article
- Export citation