Year  Title 

2022 
Published In
Bulletin of the Australian Mathematical Society

2022 
Published In
Bulletin of the Australian Mathematical Society

2021 
Published In
Bulletin of the Australian Mathematical Society

2020 
Published In
Integers: electronic journal of combinatorial number theory

2019 
Published In
The Ramanujan Journal: an international journal devoted to areas of mathematics influenced by Ramanu

2018 
Published In
Journal of Information Security and Applications

2017 
Published In
Theoretical Computer Science

2017 
Published In
Malaysian Journal of Mathematical Sciences

2017 
Published In
Mathematical Gazette

2016 
Published In
Lecture Notes in Computer Science

2016  
2014 
Published In
The Fibonacci Quarterly

2014 
Published In
Journal of Number Theory

2012 
Published In
European Journal of Combinatorics

2012 
Published In
The Fibonacci Quarterly

2011 
Published In
Applicable Analysis and Discrete Mathematics

2010 
Published In
Far East Journal of Mathematical Education

2010 
Published In
European Journal of Combinatorics

2010 
Published In
European Journal of Combinatorics

2010 
Published In
Applicable Analysis and Discrete Mathematics

2010 
Published In
The Australasian Journal of Logic

2010 
Published In
Journal of Statistical Theory and Practice

2009 
Published In
Notre Dame Journal of Formal Logic

2008 
Published In
Logical Methods in Computer Science

2008 
Published In
Discrete Mathematics

2008  
1997 
Published In
Algebra Colloquium

1989 
Published In
Journal of Symbolic Logic

1988 
Published In
Studia Logica

1987 
Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic
Published In
Journal of Symbolic Logic

1987 
Published In
Archiv f��r Mathematische Logik und Grundlagenforschung

1985 
Published In
Theoretical Computer Science

1985 
Published In
Theoretical Computer Science

1984 
Published In
Archiv für Mathematische Logik und Grundlagenforschung

1984 
Published In
Studia Logica

1984 
Published In
Indagationes Mathematicae (Proceedings)

1984 
Published In
Indagationes Mathematicae

1983 
Published In
Archiv für Mathematische Logik und Grundlagenforschung

1983 
Published In
Journal of Symbolic Logic

1983 
Published In
Archiv f��r Mathematische Logik und Grundlagenforschung

1983 
Published In
Archiv für Mathematische Logik und Grundlagenforschung

1982 
Published In
Studia Logica

1982 
Published In
Notre Dame Journal of Formal Logic

1982 
Published In
Mathematical Logic Quarterly

1981 
Published In
Archiv f��r Mathematische Logik und Grundlagenforschung

1980 
Published In
Notre Dame Journal of Formal Logic

1980 
Published In
Studies in Logic and the Foundations of Mathematics

1979 
Published In
Notre Dame Journal of Formal Logic

1979 
Published In
Notre Dame Journal of Formal Logic

1979 
Published In
Notre Dame Journal of Formal Logic

1979 
Published In
Notre Dame Journal of Formal Logic

1979 
Published In
Notre Dame Journal of Formal Logic

1979 
Published In
Notre Dame Journal of Formal Logic

1979 
Published In
Notre Dame Journal of Formal Logic

1979 
Published In
Notre Dame Journal of Formal Logic

1978 
Published In
Mathematical Logic Quarterly

1976 
Published In
Proceedings of the Edinburgh Mathematical Society

1976 
Published In
Notre Dame Journal of Formal Logic

1976 
Published In
Journal of Symbolic Logic

1974 
Published In
Notre Dame Journal of Formal Logic

1974 
Published In
Mathematical Logic Quarterly

1974 
Published In
Notre Dame Journal of Formal Logic

1973 
Published In
Notre Dame Journal of Formal Logic

1973 
Published In
Notre Dame Journal of Formal Logic

1970 
Published In
Notre Dame Journal of Formal Logic

Year  Title 

1980 
Published In
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic
Publisher
Elsevier

Year  Title 

2019 
Published In
Bulletin of Symbolic Logic

2016 
Published In
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2016 
Published In
Proceedings of the 5th International Cryptology and Information Security Conference

2008 
Published In
Computing: The Australasian Theory Symposium

2005 
Published In
IEEE Region 10 Annual International Conference, Proceedings/TENCON

2005 
Published In
International Conference on Embedded and Ubiquitous Computing

Year  Title 

2022 
Published In
Bulletin of the Australian Mathematical Society

2022 
Published In
Bulletin of the Australian Mathematical Society

2021 
Published In
Bulletin of the Australian Mathematical Society

2020 
Published In
Integers: electronic journal of combinatorial number theory

2019 
Published In
The Ramanujan Journal: an international journal devoted to areas of mathematics influenced by Ramanu

2018 
Published In
Journal of Information Security and Applications

2017 
Published In
Theoretical Computer Science

2017 
Published In
Malaysian Journal of Mathematical Sciences

2017 
Published In
Mathematical Gazette

2016 
Published In
Lecture Notes in Computer Science

2016  
2014 
Published In
The Fibonacci Quarterly

2014 
Published In
Journal of Number Theory

2012 
Published In
European Journal of Combinatorics

2012 
Published In
The Fibonacci Quarterly

2011 
Published In
Applicable Analysis and Discrete Mathematics

2010 
Published In
Far East Journal of Mathematical Education

2010 
Published In
European Journal of Combinatorics

2010 
Published In
European Journal of Combinatorics

2010 
Published In
Applicable Analysis and Discrete Mathematics

2010 
Published In
The Australasian Journal of Logic

2010 
Published In
Journal of Statistical Theory and Practice

2009 
Published In
Notre Dame Journal of Formal Logic

2008 
Published In
Logical Methods in Computer Science

2008 
Published In
Discrete Mathematics

2008  
1997 
Published In
Algebra Colloquium

1989 
Published In
Journal of Symbolic Logic

1988 
Published In
Studia Logica

1987 
Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic
Published In
Journal of Symbolic Logic

1987 
Published In
Archiv f��r Mathematische Logik und Grundlagenforschung

1985 
Published In
Theoretical Computer Science

1985 
Published In
Theoretical Computer Science

1984 
Published In
Archiv für Mathematische Logik und Grundlagenforschung

1984 
Published In
Studia Logica

1984 
Published In
Indagationes Mathematicae (Proceedings)

1984 
Published In
Indagationes Mathematicae

1983 
Published In
Archiv für Mathematische Logik und Grundlagenforschung

1983 
Published In
Journal of Symbolic Logic

1983 
Published In
Archiv f��r Mathematische Logik und Grundlagenforschung

1983 
Published In
Archiv für Mathematische Logik und Grundlagenforschung

1982 
Published In
Studia Logica

1982 
Published In
Notre Dame Journal of Formal Logic

1982 
Published In
Mathematical Logic Quarterly

1981 
Published In
Archiv f��r Mathematische Logik und Grundlagenforschung

1980 
Published In
Notre Dame Journal of Formal Logic

1980 
Published In
Studies in Logic and the Foundations of Mathematics

1979 
Published In
Notre Dame Journal of Formal Logic

1979 
Published In
Notre Dame Journal of Formal Logic

1979 
Published In
Notre Dame Journal of Formal Logic

1979 
Published In
Notre Dame Journal of Formal Logic

1979 
Published In
Notre Dame Journal of Formal Logic

1979 
Published In
Notre Dame Journal of Formal Logic

1979 
Published In
Notre Dame Journal of Formal Logic

1979 
Published In
Notre Dame Journal of Formal Logic

1978 
Published In
Mathematical Logic Quarterly

1976 
Published In
Proceedings of the Edinburgh Mathematical Society

1976 
Published In
Notre Dame Journal of Formal Logic

1976 
Published In
Journal of Symbolic Logic

1974 
Published In
Notre Dame Journal of Formal Logic

1974 
Published In
Mathematical Logic Quarterly

1974 
Published In
Notre Dame Journal of Formal Logic

1973 
Published In
Notre Dame Journal of Formal Logic

1973 
Published In
Notre Dame Journal of Formal Logic

1970 
Published In
Notre Dame Journal of Formal Logic

Year  Title 

1980 
Published In
Mathematical Logic in Latin America, Proceedings of the IV Latin American Symposium on Mathematical Logic
Publisher
Elsevier

Year  Title 

2019 
Published In
Bulletin of Symbolic Logic

2016 
Published In
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2016 
Published In
Proceedings of the 5th International Cryptology and Information Security Conference

2008 
Published In
Computing: The Australasian Theory Symposium

2005 
Published In
IEEE Region 10 Annual International Conference, Proceedings/TENCON

2005 
Published In
International Conference on Embedded and Ubiquitous Computing
