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
|