Get my own profile

Public access

View all4 articles

0 articles

available

not available

Based on funding mandates

### Co-authors

- Chris FermüllerProfessor of Computer Science, Vienna University of TechnologyVerified email at logic.at
- Norbert PreiningMercari Inc.Verified email at preining.info
- Gernot SalzerAssociate Professor of Computer Science, Technische Universität WienVerified email at logic.at
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerified email at cmu.edu
- Georg MoserProfessor for Computer Science, University of InnsbruckVerified email at uibk.ac.at
- Ian HargreavesVerified email at atb.com
- P.D. MagnusPhilosophy, University at AlbanyVerified email at fecundity.com
- Tim ButtonUniversity College LondonVerified email at ucl.ac.uk
- Agata CiabattoniVienna University of TechnologyVerified email at logic.at
- Georg SchiemerUniversity of ViennaVerified email at univie.ac.at
- Petr HájekPetr Hajek´s Memorial Page. Institute of Computer Science, Czech Academy of SciencesVerified email at cs.cas.cz
- Landon D. C. ElkindWestern Kentucky UniversityVerified email at wku.edu
- Alasdair UrquhartProfessor Computer Science Emeritus, University of TorontoVerified email at cs.toronto.edu
- G. Aldo AntonelliProfessor of Philosophy, UC DavisVerified email at ucdavis.edu
- Gillian RussellAustralian Catholic UniversityVerified email at acu.edu.au
- Gerhard WidmerProfessor of Computer Science, Johannes Kepler University LinzVerified email at jku.at
- Steve AwodeyCarnegie Mellon UniversityVerified email at cmu.edu
- Thomas EiterVienna University of Technology (TU Wien)Verified email at kr.tuwien.ac.at
- Volker PeckhausPaderborn UniversityVerified email at upb.de
- Dave Barker-PlummerCSLI, Stanford UniversityVerified email at stanford.edu

Follow