14 results
Guarded resolution for Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 1 / January 2011
- Published online by Cambridge University Press:
- 24 March 2010, pp. 111-123
-
- Article
- Export citation
NotCal04—Comparison/Calibration 14C Records 26–50 Cal Kyr BP
-
- Journal:
- Radiocarbon / Volume 46 / Issue 3 / 2004
- Published online by Cambridge University Press:
- 18 July 2016, pp. 1225-1238
- Print publication:
- 2004
-
- Article
-
- You have access
- Export citation
Marine04 Marine Radiocarbon Age Calibration, 0–26 Cal Kyr Bp
-
- Journal:
- Radiocarbon / Volume 46 / Issue 3 / 2004
- Published online by Cambridge University Press:
- 18 July 2016, pp. 1059-1086
- Print publication:
- 2004
-
- Article
-
- You have access
- Export citation
Stoichiometric Effects of Sputtered Barium Strontium Titanate Films
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 493 / 1997
- Published online by Cambridge University Press:
- 10 February 2011, 21
- Print publication:
- 1997
-
- Article
- Export citation
Π01-classes and Rado's selection principle
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 2 / June 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 684-693
- Print publication:
- June 1991
-
- Article
- Export citation
Effectively nowhere simple sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-136
- Print publication:
- March 1984
-
- Article
- Export citation
The universal splitting property. II
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 137-150
- Print publication:
- March 1984
-
- Article
- Export citation
Degrees of recursively enumerable topological spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 610-622
- Print publication:
- September 1983
-
- Article
- Export citation
Indiscernibles and decidable models
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 21-32
- Print publication:
- March 1983
-
- Article
- Export citation
Recursive isomorphism types of recursive Boolean algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 46 / Issue 3 / September 1981
- Published online by Cambridge University Press:
- 12 March 2014, pp. 572-594
- Print publication:
- September 1981
-
- Article
- Export citation
Recursion theory on orderings. II
-
- Journal:
- The Journal of Symbolic Logic / Volume 45 / Issue 2 / June 1980
- Published online by Cambridge University Press:
- 12 March 2014, pp. 317-333
- Print publication:
- June 1980
-
- Article
- Export citation
R-maximal Boolean algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 4 / December 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 533-548
- Print publication:
- December 1979
-
- Article
- Export citation
Maximal and Cohesive vector spaces1
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 3 / September 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 400-418
- Print publication:
- September 1977
-
- Article
- Export citation
Co-hypersimple structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 3 / September 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 611-625
- Print publication:
- September 1976
-
- Article
- Export citation