skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Working on the Problem of Sorting by Transpositions on Genome Rearrangements
Working on the Problem of Sorting by Transpositions on Genome Rearrangements
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Working on the Problem of Sorting by Transpositions on Genome Rearrangements

Goos, Gerhard ; Hartmanis, Juris ; van Leeuwen, Jan

Combinatorial Pattern Matching, 2003, Vol.2676, p.372-383 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
2
Microglia and border-associated macrophages in the central nervous system
Microglia and border-associated macrophages in the central nervous system
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Microglia and border-associated macrophages in the central nervous system

Saraiva Camara, Niels Olson ; Braga, Tárcio Teodoro

Macrophages in the Human Body, 2022

United States: Elsevier Science & Technology

Texto completo disponível

Citações Citado por
3
Characterizing Frame Definability in Team Semantics via the Universal Modality
Characterizing Frame Definability in Team Semantics via the Universal Modality
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Characterizing Frame Definability in Team Semantics via the Universal Modality

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.140-155 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
4
Equational Properties of Stratified Least Fixed Points (Extended Abstract)
Equational Properties of Stratified Least Fixed Points (Extended Abstract)
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Equational Properties of Stratified Least Fixed Points (Extended Abstract)

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.174-188 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
5
The Word Problem for Finitely Presented Quandles is Undecidable
The Word Problem for Finitely Presented Quandles is Undecidable
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The Word Problem for Finitely Presented Quandles is Undecidable

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.1-13 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
6
X, Gamma-Rays, and Gravitational Waves Emission in a Short Gamma-Ray Burst
X, Gamma-Rays, and Gravitational Waves Emission in a Short Gamma-Ray Burst
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

X, Gamma-Rays, and Gravitational Waves Emission in a Short Gamma-Ray Burst

Sopuerta, Carlos F

Gravitational Wave Astrophysics, 2015, Vol.40, p.43-50

Switzerland: Springer International Publishing AG

Texto completo disponível

Citações Citado por
7
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.53-68 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
8
The p-adic Integers as Final Coalgebra
The p-adic Integers as Final Coalgebra
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The p-adic Integers as Final Coalgebra

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.189-199 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
9
Parametric Polymorphism --- Universally
Parametric Polymorphism --- Universally
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Parametric Polymorphism --- Universally

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.81-92 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
10
Proof-Theoretic Aspects of the Lambek-Grishin Calculus
Proof-Theoretic Aspects of the Lambek-Grishin Calculus
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Proof-Theoretic Aspects of the Lambek-Grishin Calculus

de Paiva, Valeria ; de Queiroz, Ruy ; Moss, Lawrence S ; Leivant, Daniel ; de Oliveira, Anjolina G

Logic, Language, Information, and Computation, 2015, Vol.9160, p.109-123 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

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. Revistas revisadas por pares (44)

Data de Publicação 

De até
Refinar
  1. Antes de1999  (7)
  2. 1999Até2004  (20)
  3. 2005Até2010  (79)
  4. 2011Até2016  (77)
  5. Após 2016  (96)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (279)
  2. Japonês  (2)
  3. Português  (1)
  4. Francês  (1)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.