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
29th International Workshop on Unification, UNIF 2015 (Event)
- Santiago Escobar (Chair)
- Mateu Villaret (Chair)
- Franz Baader (Member)
- Adria Gascon (Member)
- Silvio Ghilardi (Member)
- Artur Jez (Member)
- Kutsia, T. (Member)
- Jordi Levy (Member)
- Christopher Lynch (Member)
- George Metcalfe (Member)
- Paliath Narendran (Member)
- Jan Otop (Member)
- Christophe Ringeissen (Member)
- Manfred Schmidt-Schauss (Member)
Activity: Membership/Function › Program committee