Scholarly Contributions
7 Scholarly Contributions
Computable reductions and reverse mathematics
, (2016). Computable reductions and reverse mathematics, Lecture Notes in Computer Science, vol. 9709, iss. 9709, pp. 182-191, Springer-Verlag
Research Type: Conference Proceedings
On the effectiveness of symmetry breaking
, (2014). On the effectiveness of symmetry breaking, pp. 314-323, Springer, in Language, Life, Limits (Proceedings of CiE 2014)
Research Type: Conference Proceedings
Local computability for ordinals
, (2013). Local computability for ordinals, vol. 7921, iss. 7921, pp. 161-170, Lecture Notes in Computer Science
Research Type: Conference Proceedings
Ordering free products in reverse mathematics
, (2012). Ordering free products in reverse mathematics, Templeton Press (online) and College Publications London, http://foundationaladventures.com
Research Type: Conference Proceedings
Cappable CEA sets and Ramsey's Theorem
, (2012). Cappable CEA sets and Ramsey's Theorem, pp. 114-127, Proceedings of the 11th Asian Logic Conference, World Scientific
Research Type: Conference Proceedings
Enhanced catalysis by activesite mutagenesis at aspartic acid 153 in Escherichia coli alkaline phosphatase
, (1992). Enhanced catalysis by activesite mutagenesis at aspartic acid 153 in Escherichia coli alkaline phosphatase, vol. 31, iss. 31, pp. 8196, Biochemistry, http://www.scopus.com/inward/record.url?eid=2-s2.0-00266573584045fc866ed82d2ff0cb09e923a02764aa
Research Type: Conference Proceedings
Roots of polynomials in fields of generalized power series
, (1964). Roots of polynomials in fields of generalized power series, World Scientific
Research Type: Conference Proceedings