Year  Title 

2021 
Published In
Bulletin of the Australian Mathematical Society

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

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  
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)

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

1981 
Published In
Archiv für Mathematische Logik und Grundlagenforschung

1976 
Published In
Proceedings of the Edinburgh Mathematical Society

1976 
Published In
Journal of Symbolic Logic

Year  Title 

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

Year  Title 

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  
2005 
Published In
International Conference on Embedded and Ubiquitous Computing

Year  Title 

2021 
Published In
Bulletin of the Australian Mathematical Society

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

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  
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)

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

1981 
Published In
Archiv für Mathematische Logik und Grundlagenforschung

1976 
Published In
Proceedings of the Edinburgh Mathematical Society

1976 
Published In
Journal of Symbolic Logic

Year  Title 

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

Year  Title 

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  
2005 
Published In
International Conference on Embedded and Ubiquitous Computing
