On simultaneous rigid E-unification
Edición de la obra On simultaneous rigid E-unification
| Autor | Margus Veanes |
|---|---|
| Editorial | Uppsala University, Computing Science Dept. |
| Fecha de publicación | 1997 |
| Lugar | Uppsala, Sweden |
| Idioma | inglés |
| Páginas | 122 |
| ISBN-10 | 9150612174 |
| OCLC | 41940253 |
| LCCN | 99165303 |
| Serie | Uppsala theses in computing science, · 29 |
| Número de Cutter | V394o |