1 |
Strong Completeness of Coalgebraic Modal Logics
|
|
|
|
In: 26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009 ; https://hal.inria.fr/inria-00360132 ; 26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009, Feb 2009, Freiburg, Germany. pp.673-684 (2009)
|
|
BASE
|
|
Show details
|
|
|
|