Extensions of Unification Modulo ACUI
Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Beitragende
Details
| Originalsprache | Undefiniert |
|---|---|
| Seiten (von - bis) | 597-626 |
| Seitenumfang | 30 |
| Fachzeitschrift | Mathematical Structures in Computer Science |
| Jahrgang | 30 |
| Ausgabenummer | 6 |
| Publikationsstatus | Veröffentlicht - 2020 |
| Peer-Review-Status | Ja |
Externe IDs
| ORCID | /0000-0002-4049-221X/work/142247981 |
|---|