Connecting abstract logics and adjunctions in the theory of (π-) institutions: Some theoretical remarks and applications - researchr publication

researchr

You are not signed in
Sign in
Sign up

Gabriel Bittencourt Rios, Daniel de Almeida Souza, Darllan Coneição Pinto, Hugo Luiz Mariano. Connecting abstract logics and adjunctions in the theory of (π-) institutions: Some theoretical remarks and applications. FLAP, 9(1):445-494, 2022. [doi]

Abstract is missing.

runs on WebDSL