skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Refinado por: assunto: Mathematics remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Discrete mathematics and its applications
Discrete mathematics and its applications
Material Type:
Livro 		Adicionar ao Meu Espaço

Discrete mathematics and its applications

Kenneth H Rosen

Boston McGraw-Hill Higher Education c2007

Localização: FFCLRP - Fac. Fil. Ciên. Let. de R. Preto    (51 R813d6 29575 ) e outros locais(Acessar)

2
Lógica da Ironia; The Logic of Irony.
Lógica da Ironia; The Logic of Irony.
Material Type:
Artigo 		Adicionar ao Meu Espaço

Lógica da Ironia; The Logic of Irony.

Sauret, Marie-Jean

Psicologia USP; v. 10 n. 2 (1999); 59-79

Universidade de São Paulo. Instituto de Psicologia 1999-01-01

Acesso online

3
Dynamic Cantor Derivative Logic
Dynamic Cantor Derivative Logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Dynamic Cantor Derivative Logic

Fernández-Duque, David ; Montacute, Yoàv

Logical methods in computer science, 2023-01, Vol.19, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
4
An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets
An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets

Chouquet, Jules ; Auclair, Lionel Vaux

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

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
5
Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
Material Type:
Artigo 		Adicionar ao Meu Espaço

Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications

Cerda, Rémy ; Auclair, Lionel Vaux

Logical methods in computer science, 2023-12, Vol.19, Issue 4 (4) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
6
Shrub-depth: Capturing Height of Dense Graphs
Shrub-depth: Capturing Height of Dense Graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Shrub-depth: Capturing Height of Dense Graphs

Ossona de Mendez, Patrice ; Ganian, Robert ; Hliněný, Petr ; Nešetřil, Jaroslav ; Obdrzalek, Jan

Logical methods in computer science, 2019, Vol.15 (1) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
7
Positive First-Order Logic on Words and Graphs
Positive First-Order Logic on Words and Graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Positive First-Order Logic on Words and Graphs

Kuperberg, Denis

Logical methods in computer science, 2023-01, Vol.19 (3), p.7:1-7:35 [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
8
Variable binding and substitution for (nameless) dummies
Variable binding and substitution for (nameless) dummies
Material Type:
Artigo 		Adicionar ao Meu Espaço

Variable binding and substitution for (nameless) dummies

Hirschowitz, André ; Hirschowitz, Tom ; Lafont, Ambroise ; Maggesi, Marco

Logical methods in computer science, 2024-03, Vol.20 (1) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
9
Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens
Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens
Material Type:
Artigo 		Adicionar ao Meu Espaço

Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens

Kirst, Dominik ; Larchey-Wendling, Dominique

Logical methods in computer science, 2022-06, Vol.18, Issue 2 (2) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
10
On the Taylor expansion of $\lambda$-terms and the groupoid structure of their rigid approximants
On the Taylor expansion of $\lambda$-terms and the groupoid structure of their rigid approximants
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the Taylor expansion of $\lambda$-terms and the groupoid structure of their rigid approximants

Olimpieri, Federico ; Auclair, Lionel Vaux

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

Logical Methods in Computer Science Association

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.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (10.836)
  2. Anais de Congresso  (2.097)
  3. Livros  (1.169)
  4. Book Chapters  (452)
  5. magazinearticle  (27)
  6. Resenhas  (13)
  7. Newsletter Articles  (6)
  8. Reports  (5)
  9. Verbetes  (3)
  10. Recursos Textuais  (2)
  11. Artigos de Jornal  (1)
  12. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1973  (28)
  2. 1973Até1984  (285)
  3. 1985Até1996  (1.924)
  4. 1997Até2009  (6.071)
  5. Após 2009  (6.826)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (14.606)
  2. Japonês  (847)
  3. Alemão  (51)
  4. Francês  (5)
  5. Português  (3)
  6. Italiano  (2)
  7. Polonês  (1)
  8. Russo  (1)
  9. Africâner  (1)
  10. Espanhol  (1)
  11. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Milani, S
  2. Barbosa, A
  3. Jorge, W
  4. Souza, V
  5. Mendonça, C

Neste Assunto:

  1. Mathematics
  2. Mathematics
  3. Computer Science
  4. Science & Technology
  5. Technology

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

Buscando em bases de dados remotas. Favor aguardar.