Categories
From Termination-Portal.org
Jump to navigationJump to searchThe following categories exist on the wiki, and may or may not be unused. Also see wanted categories.
(first | last) View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)- Denmark (1 member)
- ENS de Lyon (1 member)
- ES (1 member)
- Eindhoven University of Technology (3 members)
- FR (2 members)
- France (7 members)
- France and The Netherlands (2 members)
- Germany (15 members)
- HTWK Leipzig (3 members)
- INRIA (2 members)
- INRIA and Eindhoven University of Technology (2 members)
- Israel (1 member)
- Italy and France (1 member)
- Japan (2 members)
- Japan Advanced Institute of Science and Technology (1 member)
- KULeuven (4 members)
- Karlsruhe Institute of Technology (KIT) (2 members)
- LFU Innsbruck (3 members)
- LRI, Université Paris-Sud (1 member)
- Leuven (1 member)