skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Gale Academic OneFile Select remover nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Induced betweenness in order-theoretic trees
Induced betweenness in order-theoretic trees
Material Type:
Artigo 		Adicionar ao Meu Espaço

Induced betweenness in order-theoretic trees

Courcelle, Bruno

Discrete mathematics and theoretical computer science, 2022-09, Vol.23 no. 2, special issue... (Special issues) [Periódico revisado por pares]

DMTCS

Texto completo disponível

Citações Citado por
2
Bijective proofs for Eulerian numbers of types B and D
Bijective proofs for Eulerian numbers of types B and D
Material Type:
Artigo 		Adicionar ao Meu Espaço

Bijective proofs for Eulerian numbers of types B and D

Santocanale, Luigi

Discrete mathematics and theoretical computer science, 2023-03, Vol.23 no. 2, special issue... (Special issues) [Periódico revisado por pares]

Discrete Mathematics & Theoretical Computer Science

Texto completo disponível

Citações Citado por
3
Universal Horn Sentences and the Joint Embedding Property
Universal Horn Sentences and the Joint Embedding Property
Material Type:
Artigo 		Adicionar ao Meu Espaço

Universal Horn Sentences and the Joint Embedding Property

Bodirsky, Manuel ; Rydval, Jakub ; Schrottenloher, André

Discrete mathematics and theoretical computer science, 2022-05, Vol.23 no. 2, special issue... (Special issues) [Periódico revisado por pares]

Discrete Mathematics & Theoretical Computer Science

Texto completo disponível

Citações Citado por
4
A Type System Describing Unboundedness
A Type System Describing Unboundedness
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Type System Describing Unboundedness

Parys, Pawel

Discrete Mathematics and Theoretical Computer Science, 2020-08, Vol.22 (4), p.1-84 [Periódico revisado por pares]

Nancy: DMTCS

Texto completo disponível

Citações Citado por
5
Weak equivalence of higher-dimensional automata
Weak equivalence of higher-dimensional automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Weak equivalence of higher-dimensional automata

Kahl, Thomas

Discrete mathematics and theoretical computer science, 2021-05, Vol.23 no. 1 (Automata, Logic and Semantics) [Periódico revisado por pares]

Discrete Mathematics & Theoretical Computer Science

Texto completo disponível

Citações Citado por
6
IMP with exceptions over decorated logic
IMP with exceptions over decorated logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

IMP with exceptions over decorated logic

Ekici, Burak

Discrete Mathematics and Theoretical Computer Science, 2018-08, Vol.20 (2), p.1-43 [Periódico revisado por pares]

Nancy: DMTCS

Texto completo disponível

Citações Citado por
7
About the unification type of K + Box Box false
About the unification type of K + Box Box false
Material Type:
Artigo 		Adicionar ao Meu Espaço

About the unification type of K + Box Box false

Balbiani, Philippe ; Gencer, Cigdem ; Rostamigiv, Maryam ; Tinchev, Tinko

Annals of mathematics and artificial intelligence, 2021-09, Vol.90 [Periódico revisado por pares]

Springer Verlag

Texto completo disponível

Citações Citado por
8
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code
Material Type:
Artigo 		Adicionar ao Meu Espaço

Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code

Georges, Aïna Linn ; Guéneau, Armaël ; Van Strydonck, Thomas ; Timany, Amin ; Trieu, Alix ; Devriese, Dominique ; Birkedal, Lars

Journal of the ACM, 2024-02, Vol.71 (1), p.1-59, Article 3 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
9
Bijective proofs for Eulerian numbers of types B and D: Dedicated to Maurice Pouzet on the occasion of his 75th birthday
Bijective proofs for Eulerian numbers of types B and D: Dedicated to Maurice Pouzet on the occasion of his 75th birthday
Material Type:
Artigo 		Adicionar ao Meu Espaço

Bijective proofs for Eulerian numbers of types B and D: Dedicated to Maurice Pouzet on the occasion of his 75th birthday

Santocanale, Luigi

Discrete mathematics and theoretical computer science, 2023 [Periódico revisado por pares]

DMTCS

Texto completo disponível

Citações Citado por
10
Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work
Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work

Patrignani, Marco ; Ahmed, Amal ; Clarke, Dave

ACM computing surveys, 2019-02, Vol.51 (6), p.1-36, Article 125 [Periódico revisado por pares]

New York, NY, USA: ACM

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (6.679)
  2. magazinearticle  (337)
  3. Newsletter Articles  (67)
  4. Resenhas  (13)
  5. Artigos de Jornal  (3)
  6. Livros  (3)
  7. Anais de Congresso  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1972  (38)
  2. 1972Até1984  (114)
  3. 1985Até1997  (421)
  4. 1998Até2011  (1.366)
  5. Após 2011  (5.165)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.