ACUI Unification modulo Ground Theories
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Proceedings of the 32th International Workshop on Unification (UNIF 2018) |
| Publikationsstatus | Veröffentlicht - 2018 |
| Peer-Review-Status | Ja |
Workshop
| Titel | 32nd International Workshop on Unification |
|---|---|
| Kurztitel | UNIF 2018 |
| Veranstaltungsnummer | 32 |
| Beschreibung | held as part of the Federated Logic Conference 2018 (FLoC 2018) |
| Dauer | 7 Juli 2018 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | Universität Oxford |
| Stadt | Oxford |
Externe IDs
| ORCID | /0000-0002-4049-221X/work/142247952 |
|---|