skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Artigos remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Translation structures for fuzzy model theory
Translation structures for fuzzy model theory
Material Type:
Artigo 		Adicionar ao Meu Espaço

Translation structures for fuzzy model theory

Diaconescu, Răzvan

Fuzzy sets and systems, 2024-03, Vol.480, p.108866, Article 108866 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
2
Generalised graded interpolation
Generalised graded interpolation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Generalised graded interpolation

Diaconescu, Răzvan

International journal of approximate reasoning, 2023-01, Vol.152, p.236-261 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

Citações Citado por
3
Partialising Institutions
Partialising Institutions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Partialising Institutions

Diaconescu, Răzvan

Applied categorical structures, 2023-12, Vol.31 (6), Article 46 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
4
Representing 3/2-Institutions as Stratified Institutions
Representing 3/2-Institutions as Stratified Institutions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Representing 3/2-Institutions as Stratified Institutions

Diaconescu, Răzvan

Mathematics (Basel), 2022-05, Vol.10 (9), p.1507 [Periódico revisado por pares]

Basel: MDPI AG

Texto completo disponível

Citações Citado por
5
Functorial semantics of first-order views
Functorial semantics of first-order views
Material Type:
Artigo 		Adicionar ao Meu Espaço

Functorial semantics of first-order views

Diaconescu, Răzvan

Theoretical computer science, 2016-12, Vol.656, p.46-59 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
6
Permutation Groups Generated by γ-Cycles
Permutation Groups Generated by γ-Cycles
Material Type:
Artigo 		Adicionar ao Meu Espaço

Permutation Groups Generated by γ-Cycles

Diaconescu, Răzvan

Axioms, 2022-10, Vol.11 (10), p.528 [Periódico revisado por pares]

Basel: MDPI AG

Texto completo disponível

Citações Citado por
7
The Axiomatic Approach to Non-Classical Model Theory
The Axiomatic Approach to Non-Classical Model Theory
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Axiomatic Approach to Non-Classical Model Theory

Diaconescu, Răzvan

Mathematics (Basel), 2022-10, Vol.10 (19), p.3428 [Periódico revisado por pares]

Basel: MDPI AG

Texto completo disponível

Citações Citado por
8
Quasi-varieties and initial semantics for hybridized institutions
Quasi-varieties and initial semantics for hybridized institutions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Quasi-varieties and initial semantics for hybridized institutions

Diaconescu, Răzvan

Journal of logic and computation, 2016-06, Vol.26 (3), p.855-891 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
9
Introducing H, an Institution-Based Formal Specification and Verification Language
Introducing H, an Institution-Based Formal Specification and Verification Language
Material Type:
Artigo 		Adicionar ao Meu Espaço

Introducing H, an Institution-Based Formal Specification and Verification Language

Diaconescu, Răzvan

Logica universalis, 2020-06, Vol.14 (2), p.259-277 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
10
Decompositions of stratified institutions
Decompositions of stratified institutions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Decompositions of stratified institutions

Diaconescu, Răzvan

Journal of logic and computation, 2023-10, Vol.33 (7), p.1625-1664 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (105)
  2. Revistas revisadas por pares (95)

Data de Publicação 

De até
Refinar
  1. Antes de2000  (7)
  2. 2000Até2006  (25)
  3. 2007Até2012  (18)
  4. 2013Até2019  (32)
  5. Após 2019  (35)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (10)
  2. Romeno  (1)
  3. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.