Expressive Logics for Coalgebras via Terminal Sequence Induction (2002)

by Dirk Pattinson , D- Mnchen
Venue:Notre Dame J. Formal Logic
Citations:26 - 8 self

Document Versions

Expressive Logics for Coalgebras via Terminal Sequence Induction –Dirk Pattinson, D- Mnchen — 2002 — Notre Dame J. Formal Logic