Fields of science
- 101013 Mathematical logic
- 101001 Algebra
- 101012 Combinatorics
- 101020 Technical mathematics
- 101 Mathematics
- 101009 Geometry
- 101005 Computer algebra
JKU Focus areas
- Computation in Informatics and Mathematics
4th International Workshop on Automated Specification and Verification of Web Systems, WWV 2008 (Event)
- et al. (Member)
- Kutsia, T. (Member)
Activity: Membership/Function › Program committee