※一部利用できない機能があります
- IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (18)
- Symposium on Logic in Computer Science (9)
- Symposium on Foundations of Computer Science (8)
- European Association for Theoretical Computer Science (4)
- ACM Special Interest Group for Automata and Computability Theory (3)
- Association for Symbolic Logic (3)
- Academy of Finland (1)
- Association of Symbolic Logic (1)
- European Office of Aerospace Research and Development of the US Air Force Office of Scientific Research (1)
- Fields Institute for Research in Mathematical Sciences (1)
- Forall Systems IBM (1)
- IEEE Computer Society. Technical society on Foundations of Computing (1)
- Institute of Electrical and Electronics Engineers (1)
- Le Centre de Recherches Mathématiques (CRM) (1)
- US Office of Naval Research International Field Office (1)
- University of Ottawa (1)