Restricted Unification in the DL FL0
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021 |
| Herausgeber (Verlag) | Springer Verlag |
| Seiten | 81-97 |
| Band | 12941 |
| Publikationsstatus | Veröffentlicht - 2021 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | Lecture Notes in Computer Science |
|---|---|
| Band | 12941 |
| ISSN | 0302-9743 |
Konferenz
| Titel | International Symposium on Frontiers of Combining Systems |
|---|---|
| Veranstaltungsnummer | |
| Dauer | 8 - 10 September 2021 |
| Ort | |
| Stadt | Birmingham |
| Land | Großbritannien/Vereinigtes Königreich |
Externe IDs
| Scopus | 85115241297 |
|---|