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 50 | next 50) (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)
- Martin-Luther University Halle-Wittenberg (1 member)
- NL (2 members)
- National Institute of Advanced Industrial Science and Technology (AIST) (1 member)
- Netherlands (3 members)
- News (35 members)
- Pages with broken file links (1 member)
- People (39 members)
- RWTH Aachen (6 members)
- RWTH Aachen University (2 members)
- Spain (5 members)
- TU Eindhoven (1 member)
- Technische Universiteit Eindhoven (1 member)
- Technische Universiteit Eindhoven / Radboud Universiteit Nijmegen (1 member)
- Technische Universität Darmstadt (1 member)
- Tel Aviv University (1 member)
- The Netherlands (3 members)
- Tools (28 members)
- UPC (1 member)
- United Kingdom (1 member)
- Universidad Politécnica de Valencia (4 members)
- Universitat Politècnica de València (1 member)
- University of Bielefeld (1 member)
- University of Innsbruck (10 members)
- University of Reunion (2 members)
- University of Southern Denmark, Odense (1 member)
- University of Verona and University of Reunion (1 member)
- VU (1 member)
- Vienna University of Technology (1 member)
- Vienna University of Technology, Institute of Computer Languages (1 member)
- Vrije Universiteit Amsterdam (1 member)
