skip to main content
Idioma:
Mostrar Somente
Refinado por: Nome da Publicação: Doaj remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A load-buffer semantics for total store ordering
A load-buffer semantics for total store ordering
Material Type:
Artigo 		Adicionar ao Meu Espaço

A load-buffer semantics for total store ordering

Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Bouajjani, Ahmed ; Ngo, Tuan Phong

Logical methods in computer science, 2018-01, Vol.14 (1) [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
2
Mending fences with self-invalidation and self-downgrade
Mending fences with self-invalidation and self-downgrade
Material Type:
Artigo 		Adicionar ao Meu Espaço

Mending fences with self-invalidation and self-downgrade

Abdulla, Parosh Aziz ; Atig, Mohamed Faouzi ; Kaxiras, Stefanos ; Leonardsson, Carl ; Ros, Alberto ; Zhu, Yunyun

Logical methods in computer science, 2018-01, Vol.14 (1) [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
3
Extending set functors to generalised metric spaces
Extending set functors to generalised metric spaces
Material Type:
Artigo 		Adicionar ao Meu Espaço

Extending set functors to generalised metric spaces

Adriana Balan ; Alexander Kurz ; Jiří Velebil

Logical methods in computer science, 2019-01, Vol.15, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
4
Single Valued Neutrosophic Hesitant Fuzzy Computational Algorithm for Multiobjective Nonlinear Optimization Problem
Single Valued Neutrosophic Hesitant Fuzzy Computational Algorithm for Multiobjective Nonlinear Optimization Problem
Material Type:
Artigo 		Adicionar ao Meu Espaço

Single Valued Neutrosophic Hesitant Fuzzy Computational Algorithm for Multiobjective Nonlinear Optimization Problem

Ahmad, Firoz ; Adhami, Ahmad Yusuf ; Smarandache, Florentin

Neutrosophic sets and systems, 2018-11, Vol.22, p.76-88 [Periódico revisado por pares]

Neutrosophic Sets and Systems

Texto completo disponível

Citações Citado por
5
Measurements of anterior segment parameters using three different non-contact optical devices in keratoconus patients
Measurements of anterior segment parameters using three different non-contact optical devices in keratoconus patients
Material Type:
Artigo 		Adicionar ao Meu Espaço

Measurements of anterior segment parameters using three different non-contact optical devices in keratoconus patients

Ahmet Taylan Yazici Gkhan Pekel Ercüment Bozkurt Yusuf Yildirim Evre Pekel Ahmet Demirok mer Faruk Yilmaz

International journal of ophthalmology, 2013, Vol.6 (4), p.521-525 [Periódico revisado por pares]

China: International Journal of Ophthalmology Press

Texto completo disponível

Citações Citado por
6
Initiality for Typed Syntax and Semantics
Initiality for Typed Syntax and Semantics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Initiality for Typed Syntax and Semantics

Ahrens, Benedikt

Journal of Formalized Reasoning, 2015-01, Vol.8 (2), p.1-155 [Periódico revisado por pares]

Bologna: Universita degli Studi di Bologna

Texto completo disponível

Citações Citado por
7
Presentable signatures and initial semantics
Presentable signatures and initial semantics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Presentable signatures and initial semantics

Ahrens, Benedikt ; Hirschowitz, André ; Lafont, Ambroise ; Maggesi, Marco

Logical methods in computer science, 2021-01, Vol.17, Issue 2 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
8
CATEGORICAL STRUCTURES FOR TYPE THEORY IN UNIVALENT FOUNDATIONS
CATEGORICAL STRUCTURES FOR TYPE THEORY IN UNIVALENT FOUNDATIONS
Material Type:
Artigo 		Adicionar ao Meu Espaço

CATEGORICAL STRUCTURES FOR TYPE THEORY IN UNIVALENT FOUNDATIONS

Ahrens, Benedikt ; Lumsdaine, Peter Lefanu ; Voevodsky, Vladimir

Logical methods in computer science, 2018-01, Vol.14 (3) [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
9
Neutrosophic Soft Topological K-Algebras
Neutrosophic Soft Topological K-Algebras
Material Type:
Artigo 		Adicionar ao Meu Espaço

Neutrosophic Soft Topological K-Algebras

Akram, Muhammad ; Gulzar, Hina ; Smarandache, Florentin

Neutrosophic sets and systems, 2019-05, Vol.25, p.104-124 [Periódico revisado por pares]

Neutrosophic Sets and Systems

Texto completo disponível

Citações Citado por
10
Application of Bipolar Neutrosophic sets to Incidence Graphs
Application of Bipolar Neutrosophic sets to Incidence Graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Application of Bipolar Neutrosophic sets to Incidence Graphs

Akram, Muhammad ; Ishfaq, Nabeela ; Smarandache, Florentin ; Broumi, Said

Neutrosophic sets and systems, 2019-01, Vol.27, p.180-200 [Periódico revisado por pares]

Neutrosophic Sets and Systems

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (444)

Data de Publicação 

De até
Refinar
  1. Antes de2004  (7)
  2. 2004Até2008  (18)
  3. 2009Até2012  (32)
  4. 2013Até2017  (124)
  5. Após 2017  (296)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (450)
  2. Português  (26)
  3. Italiano  (22)
  4. Espanhol  (6)
  5. Russo  (5)
  6. Alemão  (5)
  7. Japonês  (3)
  8. Indonésio  (2)
  9. Catalão  (1)
  10. Chinês  (1)
  11. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.