Asymmetric Combination of Logics is Functorial: A Survey
From MaRDI portal
Publication:5208498
DOI10.1007/978-3-319-72044-9_4zbMath1496.03265arXiv1611.04170MaRDI QIDQ5208498
Manuel A. Martins, Alexandre Madeira, Luís Soares Barbosa, Renato Neves
Publication date: 16 January 2020
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1611.04170