Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Logic and ComputationRăzvan DiaconescuMDPI - Multidisciplinary Digital Publishing Institute 2023Acesso online |
|
2 |
Material Type: Livro
|
Recent Trends in Algebraic Development TechniquesCodescu Rzvan Diaconescu; Răzvan Diaconescu; Ionut Tutu; Ionuț ȚuțuSpringer International Publishing 2015Acesso online |
|
3 |
Material Type: Livro
|
Institution-independent Model TheoryRazvan Diaconescu Hajnal Andréka; Jean-Yves Beziau; Mark BurginSpringer Basel AG 2008Acesso online |
|
4 |
Material Type: Artigo
|
Translation structures for fuzzy model theoryDiaconescu, RăzvanFuzzy sets and systems, 2024-03, Vol.480, p.108866, Article 108866 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
5 |
Material Type: Livro
|
Logic and ComputationDiaconescu, RăzvanBasel: MDPI - Multidisciplinary Digital Publishing Institute 2023Sem texto completo |
|
6 |
Material Type: Artigo
|
Generalised graded interpolationDiaconescu, RăzvanInternational journal of approximate reasoning, 2023-01, Vol.152, p.236-261 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
7 |
Material Type: Artigo
|
Partialising InstitutionsDiaconescu, RăzvanApplied categorical structures, 2023-12, Vol.31 (6), Article 46 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
|
8 |
Material Type: Artigo
|
Representing 3/2-Institutions as Stratified InstitutionsDiaconescu, RăzvanMathematics (Basel), 2022-05, Vol.10 (9), p.1507 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |
|
9 |
Material Type: Artigo
|
Functorial semantics of first-order viewsDiaconescu, RăzvanTheoretical computer science, 2016-12, Vol.656, p.46-59 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
10 |
Material Type: Artigo
|
The Axiomatic Approach to Non-Classical Model TheoryDiaconescu, RăzvanMathematics (Basel), 2022-10, Vol.10 (19), p.3428 [Periódico revisado por pares]Basel: MDPI AGTexto completo disponível |