Login / Signup
Connecting abstract logics and adjunctions in the theory of (π-) institutions: Some theoretical remarks and applications.
Gabriel Bittencourt Rios
Daniel de Almeida Souza
Darllan Coneição Pinto
Hugo Luiz Mariano
Published in:
FLAP (2022)
Keyphrases
</>
vector valued
scale spaces
scale space
theoretical framework
theoretical basis
expressive power
proof theory
theoretical models
higher level
theoretical analysis
set theory
quantum mechanics
formal descriptions
genetic algorithm
formal theory
computational model
learning algorithm