12 results
THE SUMMED PAPERFOLDING SEQUENCE
- Part of
-
- Journal:
- Bulletin of the Australian Mathematical Society , First View
- Published online by Cambridge University Press:
- 25 March 2024, pp. 1-10
-
- Article
-
- You have access
- HTML
- Export citation
BINARY SIGNED-DIGIT REPRESENTATIONS IN PAPERFOLDING
- Part of
-
- Journal:
- Bulletin of the Australian Mathematical Society / Volume 106 / Issue 3 / December 2022
- Published online by Cambridge University Press:
- 10 June 2022, pp. 363-375
- Print publication:
- December 2022
-
- Article
- Export citation
POINTS IN A FOLD
- Part of
-
- Journal:
- Bulletin of the Australian Mathematical Society / Volume 106 / Issue 1 / August 2022
- Published online by Cambridge University Press:
- 10 January 2022, pp. 7-17
- Print publication:
- August 2022
-
- Article
- Export citation
AN EXACT FORMULA FOR THE HARMONIC CONTINUED FRACTION
- Part of
-
- Journal:
- Bulletin of the Australian Mathematical Society / Volume 103 / Issue 1 / February 2021
- Published online by Cambridge University Press:
- 10 June 2020, pp. 11-21
- Print publication:
- February 2021
-
- Article
- Export citation
Closed form expressions for two harmonic continued fractions
-
- Journal:
- The Mathematical Gazette / Volume 101 / Issue 552 / November 2017
- Published online by Cambridge University Press:
- 16 October 2017, pp. 439-448
- Print publication:
- November 2017
-
- Article
- Export citation
Pure type systems with more liberal rules
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1561-1580
- Print publication:
- December 2001
-
- Article
- Export citation
Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 869-890
- Print publication:
- September 1998
-
- Article
- Export citation
Australasian Association for Logic 31st Annual Conference
-
- Journal:
- Bulletin of Symbolic Logic / Volume 3 / Issue 3 / September 1997
- Published online by Cambridge University Press:
- 15 January 2014, pp. 363-366
- Print publication:
- September 1997
-
- Article
- Export citation
Australasian Association for Logic 30th Anniversary Conference
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 1 / March 1996
- Published online by Cambridge University Press:
- 15 January 2014, pp. 112-120
- Print publication:
- March 1996
-
- Article
- Export citation
1992 Annual Meeting of the Australasian Association for Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1477-1484
- Print publication:
- December 1993
-
- Article
- Export citation
Systems of illative combinatory logic complete for first-order propositional and predicate calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 3 / September 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 769-788
- Print publication:
- September 1993
-
- Article
- Export citation
On adding (ξ) to weak equality in combinatory logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 2 / June 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 590-607
- Print publication:
- June 1989
-
- Article
- Export citation