skip to main content
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Category theory and computer science proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Category theory and computer science proceedings

Workshop on Category Theory and Computer Programming (6. 1995 Cambridge) David H Pitt; David E Rydeheard; Peter T Johnstone

Berlin Springer 1995

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.953 e.1 ) e outros locais(Acessar)

2
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

3
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

4
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

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
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

7
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

8
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

9
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

10
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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

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

Idioma 

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

Buscando em bases de dados remotas. Favor aguardar.