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
Refinado por: Base de dados/Biblioteca: Engineered Materials Abstracts remover nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Predominant Solidification Modes of 316 Austenitic Stainless Steel Coatings Deposited by Laser Cladding on 304 Stainless Steel Substrates
Predominant Solidification Modes of 316 Austenitic Stainless Steel Coatings Deposited by Laser Cladding on 304 Stainless Steel Substrates
Material Type:
Artigo 		Adicionar ao Meu Espaço

Predominant Solidification Modes of 316 Austenitic Stainless Steel Coatings Deposited by Laser Cladding on 304 Stainless Steel Substrates

Apolinario, L. H. R. ; Wallerstein, D. ; Montealegre, M. A. ; Urtiga Filho, S. L. ; Torres, E. A. ; Hermenegildo, T. F. C. ; Santos, T. F. A.

Metallurgical and materials transactions. A, Physical metallurgy and materials science, 2019-08, Vol.50 (8), p.3617-3628 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
2
Fracture toughness of ISO 3183 X80M (API 5L X80) steel friction stir welds
Fracture toughness of ISO 3183 X80M (API 5L X80) steel friction stir welds
Material Type:
Artigo 		Adicionar ao Meu Espaço

Fracture toughness of ISO 3183 X80M (API 5L X80) steel friction stir welds

Santos, T.F.A. ; Hermenegildo, T.F.C. ; Afonso, C.R.M. ; Marinho, R.R. ; Paes, M.T.P. ; Ramirez, A.J.

Engineering fracture mechanics, 2010-10, Vol.77 (15), p.2937-2945 [Periódico revisado por pares]

Kidlington: Elsevier Ltd

Texto completo disponível

Citações Citado por
3
lpopt: A Rule Optimization Tool for Answer Set Programming
lpopt: A Rule Optimization Tool for Answer Set Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

lpopt: A Rule Optimization Tool for Answer Set Programming

Bichler, Manuel ; Morak, Michael ; Woltran, Stefan Hermenegildo, Manuel ; Pettorossi, Alberto ; López-García, Pedro ; Proietti, Maurizio

Fundamenta informaticae, 2020, Vol.177 (3-4), p.275-296 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por
4
Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms
Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms
Material Type:
Artigo 		Adicionar ao Meu Espaço

Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms

Alpuente, María ; Cuenca-Ortega, Angel ; Escobar, Santiago ; Meseguer, José Hermenegildo, Manuel ; Pettorossi, Alberto ; López-García, Pedro ; Proietti, Maurizio

Fundamenta informaticae, 2020-01, Vol.177 (3-4), p.297-329 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por
5
Dynamic Slicing for Concurrent Constraint Languages
Dynamic Slicing for Concurrent Constraint Languages
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dynamic Slicing for Concurrent Constraint Languages

Falaschi, Moreno ; Gabbrielli, Maurizio ; Olarte, Carlos ; Palamidessi, Catuscia Hermenegildo, Manuel ; Pettorossi, Alberto ; López-García, Pedro ; Proietti, Maurizio

Fundamenta informaticae, 2020-01, Vol.177 (3-4), p.331-357 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por
6
A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell
A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell

Albert, Elvira ; Bezirgiannis, Nikolaos ; de Boer, Frank ; Martin-Martin, Enrique Hermenegildo, Manuel ; Pettorossi, Alberto ; López-García, Pedro ; Proietti, Maurizio

Fundamenta informaticae, 2020-01, Vol.177 (3-4), p.203-234 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por
7
Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms
Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms
Material Type:
Artigo 		Adicionar ao Meu Espaço

Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms

Tarau, Paul Hermenegildo, Manuel ; Pettorossi, Alberto ; López-García, Pedro ; Proietti, Maurizio

Fundamenta informaticae, 2020-01, Vol.177 (3-4), p.385-415 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por
8
Selective Unification in (Constraint) Logic Programming
Selective Unification in (Constraint) Logic Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Selective Unification in (Constraint) Logic Programming

Mesnard, Fred ; Payet, Étienne ; Vidal, Germán Hermenegildo, Manuel ; Pettorossi, Alberto ; López-García, Pedro ; Proietti, Maurizio

Fundamenta informaticae, 2020-01, Vol.177 (3-4), p.359-383 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

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

Buscando em bases de dados remotas. Favor aguardar.