Original language | English |
---|---|
Title of host publication | Proceedings of the 20th International Workshop on Unification, UNIF 2006. |
Editors | Jordi Levy |
Pages | 89-107 |
Number of pages | 19 |
Publication status | Published - Aug 2006 |
Fields of science
- 101001 Algebra
- 101002 Analysis
- 101 Mathematics
- 102 Computer Sciences
- 102011 Formal languages
- 101013 Mathematical logic
- 101020 Technical mathematics
- 101025 Number theory
- 101012 Combinatorics
- 101005 Computer algebra
- 101003 Applied geometry
- 102025 Distributed systems
JKU Focus areas
- Computation in Informatics and Mathematics