| Idioma original | Inglés |
|---|---|
| Título de la publicación alojada | Acta de congrés |
| Páginas | 221-237 |
| Número de páginas | 17 |
| Volumen | 3492 |
| Estado | Publicada - 2005 |
Citar esto
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Describing Lambda-Terms in Context Unification
- Mateu Villaret Auselle
- , J. Niehren
Producción científica: Capítulo del libro/Acta de congreso › Acta de congreso › revisión exhaustiva