Quotients of Bounded Natural Functors
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Originalsprog | Engelsk |
---|---|
Titel | IJCAR 2020 |
Redaktører | Nicolas Peltier, Viorica Sofronie-Stokkermans |
Antal sider | 21 |
Vol/bind | 12167 |
Forlag | Springer, Cham |
Publikationsdato | 2020 |
Sider | 58-78 |
DOI | |
Status | Udgivet - 2020 |
Eksternt udgivet | Ja |
Navn | Lecture Notes in Computer Science |
---|---|
Vol/bind | 12167 |
ISSN | 0302-9743 |
ID: 245667197