ℹ️
🇬🇧
Search
Search for publications relevant for "relation lifting"
relation lifting
Publication
Class
Person
Publication
Programmes
Export current view
publication
MOSS' LOGIC FOR ORDERED COALGEBRAS
2022 |
Faculty of Arts
publication
Proof systems for Moss' coalgebraic logic
2014 |
Faculty of Arts