skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Nome da Publicação: Arxiv remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Algebraic and logical descriptions of generalized trees
Algebraic and logical descriptions of generalized trees
Material Type:
Artigo 		Adicionar ao Meu Espaço

Algebraic and logical descriptions of generalized trees

Courcelle, Bruno

Logical methods in computer science, 2017-01, Vol.13 (3) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
2
Scaling limit of critical random trees in random environment
Scaling limit of critical random trees in random environment
Material Type:
Artigo 		Adicionar ao Meu Espaço

Scaling limit of critical random trees in random environment

Conchon--Kerjan, Guillaume ; Kious, Daniel ; Mailler, Cécile

arXiv.org, 2022-09

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Analyzing Timed Systems Using Tree Automata
Analyzing Timed Systems Using Tree Automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

Analyzing Timed Systems Using Tree Automata

Akshay, S. ; Gastin, Paul ; Krishna, Shankara Narayanan

Logical methods in computer science, 2018-01, Vol.14 (2) [Periódico revisado por pares]

Logical Methods in Computer Science Association

Texto completo disponível

Citações Citado por
4
Impredicativity and Trees with Gap Condition: A Second Course on Ordinal Analysis
Impredicativity and Trees with Gap Condition: A Second Course on Ordinal Analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Impredicativity and Trees with Gap Condition: A Second Course on Ordinal Analysis

Freund, Anton

arXiv.org, 2022-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
Indestructibility of some compactness principles over models of PFA
Indestructibility of some compactness principles over models of PFA
Material Type:
Artigo 		Adicionar ao Meu Espaço

Indestructibility of some compactness principles over models of PFA

Honzik, Radek ; Lambie-Hanson, Chris ; Stejskalová, Šárka

arXiv.org, 2022-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
The Erdos-Falconer distance problem in the tree setting
The Erdos-Falconer distance problem in the tree setting
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Erdos-Falconer distance problem in the tree setting

Pham, Thang ; Senger, Steven ; Dung The Tran

arXiv.org, 2022-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Partition theorems for expanded trees
Partition theorems for expanded trees
Material Type:
Artigo 		Adicionar ao Meu Espaço

Partition theorems for expanded trees

Shelah, Saharon

arXiv.org, 2022-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
Inducibility and universality for trees
Inducibility and universality for trees
Material Type:
Artigo 		Adicionar ao Meu Espaço

Inducibility and universality for trees

Chan, Timothy F N ; Kral, Daniel ; Mohar, Bojan ; Wood, David R

arXiv.org, 2022-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
The distribution of the maximum protection number in simply generated trees
The distribution of the maximum protection number in simply generated trees
Material Type:
Artigo 		Adicionar ao Meu Espaço

The distribution of the maximum protection number in simply generated trees

Heuberger, Clemens ; Selkirk, Sarah J ; Wagner, Stephan

arXiv.org, 2023-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
A new coinductive confluence proof for infinitary lambda calculus
A new coinductive confluence proof for infinitary lambda calculus
Material Type:
Artigo 		Adicionar ao Meu Espaço

A new coinductive confluence proof for infinitary lambda calculus

Łukasz Czajka

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

Logical Methods in Computer Science e.V

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

Data de Publicação 

De até
Refinar
  1. Antes de2009  (13)
  2. 2009Até2011  (199)
  3. 2012Até2014  (485)
  4. 2015Até2018  (1.076)
  5. Após 2018  (2.356)
  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.