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
Peter JipsenProfessor of Mathematics, Chapman UniversityVerified email at chapman.edu
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