skip to main content
Devido a um problema temporário, o resultado pode estar incompleto.
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Applicative programming with effects
Material Type:
Artigo
Adicionar ao Meu Espaço

Applicative programming with effects

MCBRIDE, CONOR ; PATERSON, ROSS

Journal of functional programming, 2008-01, Vol.18 (1), p.1-13 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

2
Typing linear algebra: A biproduct-oriented approach
Material Type:
Artigo
Adicionar ao Meu Espaço

Typing linear algebra: A biproduct-oriented approach

Macedo, Hugo Daniel ; Oliveira, José Nuno

Science of computer programming, 2013-11-01, Vol.78 (11), p.2160-2191 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

3
Cellular Monads from Positive GSOS Specifications
Material Type:
Artigo
Adicionar ao Meu Espaço

Cellular Monads from Positive GSOS Specifications

Hirschowitz, Tom

Electronic proceedings in theoretical computer science, 2019-08-22, Vol.300 (Proc. EXPRESS/SOS 2019), p.1-18

Open Publishing Association

Texto completo disponível

4
On the Lambek Calculus with an Exchange Modality
Material Type:
Artigo
Adicionar ao Meu Espaço

On the Lambek Calculus with an Exchange Modality

Jiang, Jiaming ; Eades, Harley ; de Paiva, Valeria

Electronic proceedings in theoretical computer science, 2019-04-15, Vol.292 (Proc. Linearity-TLLA 2018), p.43-89

Open Publishing Association

Texto completo disponível

5
A Proof Theory for Model Checking
Material Type:
Artigo
Adicionar ao Meu Espaço

A Proof Theory for Model Checking

Heath, Quentin ; Miller, Dale Barrett, Clark ; Cervesato, Iliano ; Kahsai, Temesghen ; Cervesato, Iliano ; Fernandez, Maribel ; Barrett, Clark ; Fernandez, Maribel ; Kahsai, Temesghen

Journal of automated reasoning, 2019-12, Vol.63 (4), p.857-885 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

6
Genetic Programming $$\ varvec{+}$$  + Proof Search $$\ varvec{=}$$  = Automatic Improvement
Material Type:
Artigo
Adicionar ao Meu Espaço

Genetic Programming $$\ varvec{+}$$ + Proof Search $$\ varvec{=}$$ = Automatic Improvement

Kocsis, Zoltan A ; Swan, Jerry

Journal of automated reasoning, 2018-02, Vol.60 (2), p.157-176 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

7
Combining effects: Sum and tensor
Material Type:
Artigo
Adicionar ao Meu Espaço

Combining effects: Sum and tensor

Hyland, Martin ; Plotkin, Gordon ; Power, John

Theoretical computer science, 2006, Vol.357 (1), p.70-99 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

8
Natural Transformations as Rewrite Rules and Monad Composition
Material Type:
Artigo
Adicionar ao Meu Espaço

Natural Transformations as Rewrite Rules and Monad Composition

Kozen, Dexter

2016

Texto completo disponível

9
Transport of finiteness structures and applications
Material Type:
Artigo
Adicionar ao Meu Espaço

Transport of finiteness structures and applications

TASSON, CHRISTINE ; VAUX, LIONEL

Mathematical structures in computer science, 2018-08, Vol.28 (7), p.1061-1096 [Periódico revisado por pares]

Cambridge, UK: Cambridge University Press

Texto completo disponível

10
Label-Embedding for Image Classification
Material Type:
Artigo
Adicionar ao Meu Espaço

Label-Embedding for Image Classification

Akata, Zeynep ; Perronnin, Florent ; Harchaoui, Zaid ; Schmid, Cordelia

IEEE transactions on pattern analysis and machine intelligence, 2016-07-01, Vol.38 (7), p.1425-1438

United States: IEEE

Texto completo disponível

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 (2.531)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (2.877)
  2. Anais de Congresso  (1.158)
  3. Book Chapters  (19)
  4. Resenhas  (19)
  5. Recursos Textuais  (3)
  6. Livros  (2)
  7. Verbetes  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1998  (156)
  2. 1998Até2003  (632)
  3. 2004Até2009  (1.328)
  4. 2010Até2016  (1.602)
  5. Após 2016  (601)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (4.069)
  2. Alemão  (9)
  3. Japonês  (7)
  4. Espanhol  (7)
  5. Português  (5)
  6. Francês  (2)
  7. Catalão  (1)
  8. Tcheco  (1)
  9. Letão  (1)
  10. Polonês  (1)
  11. Turco  (1)
  12. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.