| Idioma original | Inglés |
|---|---|
| Título de la publicación alojada | Acta de congrés |
| Páginas | 400-414 |
| Número de páginas | 15 |
| Volumen | 4098 |
| Estado | Publicada - 2006 |
Citar esto
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Bounded Second-Order Unification is NP-Complete
- Mateu Villaret Auselle
- , J. Levy
- , M. Schmidt-Schauss
Producción científica: Capítulo del libro/Acta de congreso › Acta de congreso › revisión exhaustiva