Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Informação adicional documento
-
- Outro
-
- Ver todos
-
Visão geral
tipo
data de publicação
publicada em
Pesquisas
áreas de investigação
palavras-chave
-
Abstract deductive system
-
Quantale
-
Quantale Module
Identidade
identificador BrCris
-
ee3f959a79f1c914184fa39584516ef4
Outro