Get my own profile
Public access
View all5 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Hiroakira OnoJapan Advanced Institute of Science and TechnologyVerified email at jaist.ac.jp
- Anatolij DvurecenskijInstitute of Mathematics, Slovak Academy of SciencesVerified email at mat.savba.sk
- Roberto GiuntiniProfessor of Logic and Philosophy of ScienceVerified email at unica.it
- Antonino SalibraUniversità Ca'Foscari VeneziaVerified email at dsi.unive.it
- Marcel JacksonLa Trobe UniversityVerified email at latrobe.edu.au
- Tomasz PlacekJagiellonian University, Krakow, PolandVerified email at uj.edu.pl
- Bakh KhoussainovProfessor, The Algorithms and Logic Group (ALG), UESTCVerified email at uestc.edu.cn
- tadeusz litakFAU Erlangen-Nürnberg, Informatik 8Verified email at cs.fau.de
- Jason Jingshi LiIBM Data and AI, Australian Broadcasting CorporationVerified email at au1.ibm.com
- Jochen RenzProfessor, Australian National UniversityVerified email at anu.edu.au
- Sanjiang LiProfessor, University of Technology SydneyVerified email at uts.edu.au
- Robert GoldblattProfessor of Mathematics, Victoria University of WellingtonVerified email at sms.vuw.ac.nz
- Giuseppe SergioliFull Professor at the University of CagliariVerified email at unica.it
- Sam ButchartRosanna Golf Links Primary SchoolVerified email at education.vic.gov.au
- Todd NivenLa Trobe UniversityVerified email at latrobe.edu.au
- Lloyd HumberstoneReader in Philosophy, Monash UniversityVerified email at monash.edu
- John SlaneyProfessor of Computer Science, Australian National UniversityVerified email at anu.edu.au
- Peter JipsenProfessor of Mathematics, Chapman UniversityVerified email at chapman.edu