Fields of science
- 101013 Mathematical logic
- 101001 Algebra
- 101012 Combinatorics
- 101 Mathematics
- 101009 Geometry
- 101005 Computer algebra
JKU Focus areas
- Computation in Informatics and Mathematics
The 28th International Workshop on Unification, UNIF 2014 (Event)
- Kutsia, T. (Chair)
- Christophe Ringeissen (Chair)
- Franz Baader (Member)
- Mnacho Echenim (Member)
- Santiago Escobar (Member)
- Maribel Fernández (Member)
- Christopher Lynch (Member)
- Mircea Marin (Member)
- Barbara Morawska (Member)
- Paliath Narendran (Member)
- Jan Otop (Member)
- Manfred Schmidt-Schauss (Member)
- Ralf Treinen (Member)
- Mateu Villaret (Member)
Activity: Membership/Function › Program committee