| Publication | Date of Publication | Type |
|---|
The space of two-sided generalized Fibonacci sequences
Rocky Mountain Journal of Mathematics | 2025-05-30 | Paper |
The summed paperfolding sequence
Bulletin of the Australian Mathematical Society | 2025-01-20 | Paper |
| On the characterization of inconsistency proofs in illative combinatory logic | 2024-09-06 | Paper |
| scientific article; zbMATH DE number 7819032 (Why is no real title available?) | 2024-03-14 | Paper |
| On the linear space of the two-sided generalized Fibonacci sequences | 2023-04-06 | Paper |
Binary signed-digit representations in paperfolding
Bulletin of the Australian Mathematical Society | 2022-12-06 | Paper |
BCI-Algebras and Related Logics
The Australasian Journal of Logic | 2022-10-04 | Paper |
Points in a fold
Bulletin of the Australian Mathematical Society | 2022-08-25 | Paper |
Closed form expressions for two harmonic continued fractions
The Mathematical Gazette | 2021-11-18 | Paper |
| Generalized Fibonacci sequences and their properties | 2021-06-29 | Paper |
| Generalized Fibonacci numbers and their 2-adic order | 2021-02-05 | Paper |
AN EXACT FORMULA FOR THE HARMONIC CONTINUED FRACTION
Bulletin of the Australian Mathematical Society | 2021-01-27 | Paper |
| A new attack on the RSA cryptosystem based on continued fractions | 2020-02-26 | Paper |
| Alternative solutions to linear recurrence equations | 2020-01-13 | Paper |
On the harmonic continued fractions
The Ramanujan Journal | 2019-08-20 | Paper |
A generalized attack on RSA type cryptosystems
Theoretical Computer Science | 2017-11-16 | Paper |
A new attack on three variants of the RSA cryptosystem
Information Security and Privacy | 2016-09-02 | Paper |
| scientific article; zbMATH DE number 6538188 (Why is no real title available?) | 2016-02-01 | Paper |
| Rough consequence and other modal logics | 2016-02-01 | Paper |
Unique representations of integers using increasing sequences
Journal of Number Theory | 2014-09-12 | Paper |
Products and powers, powers and exponentiations,
The Fibonacci Quarterly | 2014-08-08 | Paper |
| Horadam functions and powers of irrationals | 2013-03-14 | Paper |
Mirroring and interleaving in the paperfolding sequence
Applicable Analysis and Discrete Mathematics | 2013-01-31 | Paper |
Self-matching bands in the paperfolding sequence
Applicable Analysis and Discrete Mathematics | 2012-12-19 | Paper |
Child's addition in the Stern-Brocot tree
European Journal of Combinatorics | 2012-01-11 | Paper |
Linking the Calkin-Wilf and Stern-Brocot trees
European Journal of Combinatorics | 2010-10-18 | Paper |
| Convergence of the sequence \(b,a^b,a^{a^b},\dots\) | 2010-08-19 | Paper |
Locating terms in the Stern-Brocot tree
European Journal of Combinatorics | 2010-04-27 | Paper |
Proof-finding algorithms for classical and subclassical propositional logics
Notre Dame Journal of Formal Logic | 2010-01-13 | Paper |
Some Rough Consequence Logics and their Interrelations
Transactions on Rough Sets VIII | 2009-02-10 | Paper |
Are there Hilbert-style Pure Type Systems?
Logical Methods in Computer Science | 2008-08-07 | Paper |
On binary reflected Gray codes and functions
Discrete Mathematics | 2008-03-13 | Paper |
| Self matching in n | 2008-02-05 | Paper |
| scientific article; zbMATH DE number 5205524 (Why is no real title available?) | 2007-10-26 | Paper |
| scientific article; zbMATH DE number 5036194 (Why is no real title available?) | 2006-06-27 | Paper |
| scientific article; zbMATH DE number 5036194 (Why is no real title available?) | 2006-06-27 | Paper |
Equivalences between pure type systems and systems of illative combinatory logic
Notre Dame Journal of Formal Logic | 2005-09-28 | Paper |
Variants of the basic calculus of constructions
Journal of Applied Logic | 2004-10-28 | Paper |
| scientific article; zbMATH DE number 2062377 (Why is no real title available?) | 2004-03-28 | Paper |
Intersection types for lambda-terms and combinators and their logics
Logic Journal of the IGPL | 2003-11-02 | Paper |
Pure type systems with more liberal rules
Journal of Symbolic Logic | 2002-11-13 | Paper |
On the self matching properties of \([j\tau]\)
Discrete Mathematics | 2002-08-25 | Paper |
Expedited Broda-Damas bracket abstraction
The Journal of Symbolic Logic | 2002-01-21 | Paper |
A classification of intersection type systems
Journal of Symbolic Logic | 2002-01-01 | Paper |
Proof finding algorithms for implicational logics
Theoretical Computer Science | 2000-08-23 | Paper |
| scientific article; zbMATH DE number 1406812 (Why is no real title available?) | 2000-02-28 | Paper |
| scientific article; zbMATH DE number 1377703 (Why is no real title available?) | 1999-12-14 | Paper |
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus
Archive for Mathematical Logic | 1999-03-07 | Paper |
Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic
Journal of Symbolic Logic | 1999-02-02 | Paper |
| scientific article; zbMATH DE number 1222495 (Why is no real title available?) | 1998-11-11 | Paper |
| scientific article; zbMATH DE number 1209753 (Why is no real title available?) | 1998-11-04 | Paper |
| scientific article; zbMATH DE number 1109814 (Why is no real title available?) | 1998-06-04 | Paper |
Lambda terms definable as combinators
Theoretical Computer Science | 1997-02-27 | Paper |
Two beta-equal lambda-I-terms with no types in common
Theoretical Computer Science | 1997-02-27 | Paper |
A simplified form of condensed detachment
Journal of Logic, Language and Information | 1996-05-13 | Paper |
| scientific article; zbMATH DE number 877753 (Why is no real title available?) | 1996-05-12 | Paper |
| scientific article; zbMATH DE number 823591 (Why is no real title available?) | 1995-12-05 | Paper |
Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends
Theoretical Computer Science | 1995-04-06 | Paper |
| scientific article; zbMATH DE number 575580 (Why is no real title available?) | 1995-02-16 | Paper |
| scientific article; zbMATH DE number 638618 (Why is no real title available?) | 1995-01-29 | Paper |
Systems of illative combinatory logic complete for first-order propositional and predicate calculus
Journal of Symbolic Logic | 1994-07-07 | Paper |
| scientific article; zbMATH DE number 58834 (Why is no real title available?) | 1992-09-27 | Paper |
Implementing the `Fool's model' of combinatory logic
Journal of Automated Reasoning | 1992-06-27 | Paper |
| scientific article; zbMATH DE number 4214105 (Why is no real title available?) | 1991-01-01 | Paper |
Some improvements to Turner's algorithm for bracket abstraction
Journal of Symbolic Logic | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4139717 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4139718 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4143942 (Why is no real title available?) | 1989-01-01 | Paper |
On adding (<i>ξ</i>) to weak equality in combinatory logic
Journal of Symbolic Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4128788 (Why is no real title available?) | 1989-01-01 | Paper |
Arithmetic based on the Church numerals in illative combinatory logic
Studia Logica | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4204312 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4070873 (Why is no real title available?) | 1988-01-01 | Paper |
Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic
Journal of Symbolic Logic | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4010472 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 4010513 (Why is no real title available?) | 1986-01-01 | Paper |
Some generalizations to two systems of set theory based on combinatory logic
Archiv für Mathematische Logik und Grundlagenforschung | 1986-01-01 | Paper |
An extension of Klop's counterexample to the Church-Rosser property to \(\lambda\)-calculus with other ordered pair combinators
Theoretical Computer Science | 1985-01-01 | Paper |
Possible forms of evaluation or reduction in Martin-Löf type theory
Theoretical Computer Science | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3916223 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3989326 (Why is no real title available?) | 1985-01-01 | Paper |
Some definitions of negation leading to paraconsistent logics
Studia Logica | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3885865 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3887650 (Why is no real title available?) | 1984-01-01 | Paper |
Category theory based on combinatory logic
Archiv für Mathematische Logik und Grundlagenforschung | 1984-01-01 | Paper |
A weak absolute consistency proof for some systems of illative combinatory logic
Journal of Symbolic Logic | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3889507 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3889528 (Why is no real title available?) | 1983-01-01 | Paper |
Predicate calculus of arbitrarily high finite order
Archiv für Mathematische Logik und Grundlagenforschung | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3851087 (Why is no real title available?) | 1983-01-01 | Paper |
A one axiom set theory based on higher order predicate calculus
Archiv für Mathematische Logik und Grundlagenforschung | 1983-01-01 | Paper |
Set theory in predicate calculus with equality
Archiv für Mathematische Logik und Grundlagenforschung | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3867327 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3867328 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3867329 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3926916 (Why is no real title available?) | 1983-01-01 | Paper |
Illative combinatory logic without equality as a primitive predicate
Notre Dame Journal of Formal Logic | 1982-01-01 | Paper |
Some Results in Aczel‐Feferman Logic and Set Theory
Mathematical Logic Quarterly | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3801507 (Why is no real title available?) | 1982-01-01 | Paper |
Deduction theorems for weak implicational logics
Studia Logica | 1982-01-01 | Paper |
Predicate calculus and naive set theory in pure combinatory logic
Archiv für Mathematische Logik und Grundlagenforschung | 1981-01-01 | Paper |
