skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logic and Computation
Logic and Computation
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic and Computation

Diaconescu, Răzvan

Basel: MDPI - Multidisciplinary Digital Publishing Institute 2023

Sem texto completo

Citações Citado por
2
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
3
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
4
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
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
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
7
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
8
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
9
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
10
Implicit Kripke semantics and ultraproducts in stratified institutions
Implicit Kripke semantics and ultraproducts in stratified institutions
Material Type:
Artigo 		Adicionar ao Meu Espaço

Implicit Kripke semantics and ultraproducts in stratified institutions

Diaconescu, Răzvan

Journal of logic and computation, 2017-07, p.exw018 [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 (112)
  2. Revistas revisadas por pares (88)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (90)
  2. Book Chapters  (15)
  3. Livros  (5)
  4. Imagens  (3)
  5. Conjunto de Dados  (2)
  6. Anais de Congresso  (2)
  7. Dissertações  (1)
  8. Web Resources  (1)
  9. Resenhas  (1)
  10. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1999  (10)
  2. 1999Até2005  (29)
  3. 2006Até2011  (24)
  4. 2012Até2018  (30)
  5. Após 2018  (27)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.