Wissenschaftszweige
- 101013 Mathematische Logik
- 101001 Algebra
- 101012 Kombinatorik
- 101 Mathematik
- 101009 Geometrie
- 101005 Computeralgebra
JKU-Schwerpunkte
- Computation in Informatics and Mathematics
The 28th International Workshop on Unification, UNIF 2014 (Veranstaltung)
- Kutsia, T. (Vorsitzende*r)
- Christophe Ringeissen (Vorsitzende*r)
- Franz Baader (Mitglied)
- Mnacho Echenim (Mitglied)
- Santiago Escobar (Mitglied)
- Maribel Fernández (Mitglied)
- Christopher Lynch (Mitglied)
- Mircea Marin (Mitglied)
- Barbara Morawska (Mitglied)
- Paliath Narendran (Mitglied)
- Jan Otop (Mitglied)
- Manfred Schmidt-Schauss (Mitglied)
- Ralf Treinen (Mitglied)
- Mateu Villaret (Mitglied)
Aktivität: Mitgliedschaft/Funktion › Programm-Komitee