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)- Austria (15 members)
- Belgium (5 members)
- Bibtex (37 members)
- BibtexNews (27 members)
- Birkbeck, University of London (1 member)
- CNAM (1 member)
- Categories (12 members)
- Cedric, INRIA Sophia-Antipolis, LaBRI, LRI-PCRI (1 member)
- Cédric (CNAM/ENSIIE) and LRI (Univ. Paris-Sud, CNRS) (1 member)
- DE (1 member)
- 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)