Quotients of Bounded Natural Functors
Fürer, Basil, Lochbihler, Andreas, Schneider, Joshua, Traytel, Dmitriy
Published in Logical methods in computer science (01.02.2022)
Published in Logical methods in computer science (01.02.2022)
Get full text
Journal Article
Quotients of Bounded Natural Functors
Fürer, Basil, Lochbihler, Andreas, Schneider, Joshua, Traytel, Dmitriy
Published in Automated Reasoning (01.01.2020)
Published in Automated Reasoning (01.01.2020)
Get full text
Book Chapter
Quotients of Bounded Natural Functors
Fürer, Basil, Lochbihler, Andreas, Schneider, Joshua, Traytel, Dmitriy
Published in arXiv.org (31.01.2022)
Published in arXiv.org (31.01.2022)
Get full text
Paper
Journal Article