skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Computation remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computation and Concurrency
Material Type:
Artigo
Adicionar ao Meu Espaço

Computation and Concurrency

Wang, Yong

arXiv.org, 2024-09

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

2
Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report)
Material Type:
Artigo
Adicionar ao Meu Espaço

Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report)

Alrabbaa, Christian ; Baader, Franz ; Borgwardt, Stefan ; Koopmann, Patrick ; Kovtunova, Alisa

arXiv.org, 2023-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

3
Models of High-Level Computation
Material Type:
Artigo
Adicionar ao Meu Espaço

Models of High-Level Computation

Arellanes, Damian

arXiv.org, 2024-02

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

4
The complexity of completions in partial combinatory algebra
Material Type:
Artigo
Adicionar ao Meu Espaço

The complexity of completions in partial combinatory algebra

Terwijn, Sebastiaan A

arXiv.org, 2023-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

5
Fixpoints and relative precompleteness
Material Type:
Artigo
Adicionar ao Meu Espaço

Fixpoints and relative precompleteness

Golov, Anton ; Terwijn, Sebastiaan A

arXiv.org, 2022-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

6
Message complexity for unary multiautomata systems
Material Type:
Artigo
Adicionar ao Meu Espaço

Message complexity for unary multiautomata systems

Choffrut, Christian

arXiv.org, 2024-08

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

7
Bridging Weighted First Order Model Counting and Graph Polynomials
Material Type:
Artigo
Adicionar ao Meu Espaço

Bridging Weighted First Order Model Counting and Graph Polynomials

Kuang, Qipeng ; Kuželka, Ondřej ; Wang, Yuanhong ; Wang, Yuyi

arXiv.org, 2024-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

8
Reasoning about Intuitionistic Computation Tree Logic
Material Type:
Artigo
Adicionar ao Meu Espaço

Reasoning about Intuitionistic Computation Tree Logic

Catta, Davide ; Malvone, Vadim ; Murano, Aniello

arXiv.org, 2023-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

9
Compositional Reversible Computation
Material Type:
Artigo
Adicionar ao Meu Espaço

Compositional Reversible Computation

Carette, Jacques ; Heunen, Chris ; Kaarsgaard, Robin ; Sabry, Amr

arXiv.org, 2024-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

10
How Much Partiality Is Needed for a Theory of Computability?
Material Type:
Artigo
Adicionar ao Meu Espaço

How Much Partiality Is Needed for a Theory of Computability?

Spreen, Dieter

arXiv.org, 2023-11

Ithaca: Cornell University Library, arXiv.org

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. Recursos Online (3.168)
  2. Revistas revisadas por pares (2.060)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (3.084)
  2. Anais de Congresso  (408)
  3. magazinearticle  (40)
  4. Livros  (19)
  5. Resenhas  (3)
  6. Book Chapters  (2)
  7. Dissertações  (1)
  8. Recursos Textuais  (1)
  9. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1990  (11)
  2. 1990Até1998  (21)
  3. 1999Até2006  (173)
  4. 2007Até2015  (1.648)
  5. Após 2015  (1.722)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (193)
  2. Português  (3)
  3. Chinês  (2)
  4. Espanhol  (2)
  5. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.