@inproceedings{neves:hal-01767465, TITLE = {{Asymmetric Combination of Logics is Functorial: A Survey}}, AUTHOR = {Neves, Renato and Madeira, Alexandre and Barbosa, Luis S. and Martins, Manuel A.}, URL = {https://inria.hal.science/hal-01767465}, NOTE = {Part 3: Survey Papers}, BOOKTITLE = {{23th International Workshop on Algebraic Development Techniques (WADT)}}, ADDRESS = {Gregynog, United Kingdom}, EDITOR = {Phillip James and Markus Roggenbach}, PUBLISHER = {{Springer International Publishing}}, SERIES = {Recent Trends in Algebraic Development Techniques}, VOLUME = {LNCS-10644}, PAGES = {39-55}, YEAR = {2016}, MONTH = Sep, DOI = {10.1007/978-3-319-72044-9\_4}, KEYWORDS = {Institution ; Hybridisation ; Probabilisation ; Temporalisation ; Asymmetric combination}, PDF = {https://inria.hal.science/hal-01767465/file/433330_1_En_4_Chapter.pdf}, HAL_ID = {hal-01767465}, HAL_VERSION = {v1}, }