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
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Generating symmetric and alternating groups
Generating symmetric and alternating groups
Material Type:
Artigo 		Adicionar ao Meu Espaço

Generating symmetric and alternating groups

Catoiu, Stefan ; Diaconescu, Răzvan

Journal of algebra and its applications, 2023-10 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
12
Institutional semantics for many-valued logics
Institutional semantics for many-valued logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Institutional semantics for many-valued logics

Diaconescu, Răzvan

Fuzzy sets and systems, 2013-05, Vol.218, p.32-52 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
13
Universal logic and computation
Universal logic and computation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Universal logic and computation

Diaconescu, Răzvan

Journal of logic and computation, 2017-09, Vol.27 (6), p.1677-1678 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
14
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
15
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
16
Encoding hybridized institutions into first-order logic
Encoding hybridized institutions into first-order logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Encoding hybridized institutions into first-order logic

DIACONESCU, RĂZVAN ; MADEIRA, ALEXANDRE

Mathematical structures in computer science, 2016-06, Vol.26 (5), p.745-788 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

Citações Citado por
17
Graded consequence: an institution theoretic study
Graded consequence: an institution theoretic study
Material Type:
Artigo 		Adicionar ao Meu Espaço

Graded consequence: an institution theoretic study

Diaconescu, Răzvan

Soft computing (Berlin, Germany), 2014-07, Vol.18 (7), p.1247-1267 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
18
Institution-independent Model Theory
Institution-independent Model Theory
Material Type:
Livro 		Adicionar ao Meu Espaço

Institution-independent Model Theory

Diaconescu, Răzvan

Basel: Birkhäuser Basel

Texto completo disponível

Citações Citado por
19
On the existence of translations of structured specifications
On the existence of translations of structured specifications
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the existence of translations of structured specifications

Diaconescu, Răzvan

Information processing letters, 2015-01, Vol.115 (1), p.15-22 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
20
An axiomatic approach to structuring specifications
An axiomatic approach to structuring specifications
Material Type:
Artigo 		Adicionar ao Meu Espaço

An axiomatic approach to structuring specifications

Diaconescu, Răzvan

Theoretical computer science, 2012-05, Vol.433, p.20-42 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
previous page 1 Resultados 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 (89)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (90)
  2. Book Chapters  (18)
  3. Livros  (6)
  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  (25)
  4. 2012Até2018  (31)
  5. Após 2018  (29)
  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.