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

A Galois connection between Turing jumps and limits

Brattka, Vasco

Episciences.org 2018

Texto completo disponível

Ver todas as versões
2
Material Type:
Artigo
Adicionar ao Meu Espaço

Games and Strategies as Event Structures

Castellan, Simon ; Clairambault, Pierre ; Rideau, Silvain ; Winskel, Glynn Clairambault, Pierre (Editor)

Logical Methods in Computer Science, 29 September 2017 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
3
Material Type:
Artigo
Adicionar ao Meu Espaço

A revised completeness result for the simply typed $\lambda\mu$-calculus using realizability semantics

Nour, Karim ; Ziadeh, Mohamad

Episciences.org 2017

Texto completo disponível

Ver todas as versões
4
Material Type:
Artigo
Adicionar ao Meu Espaço

On the algebraic structure of Weihrauch degrees

Brattka, Vasco ; Pauly, Arno

Episciences.org 2018

Texto completo disponível

Ver todas as versões
5
Material Type:
Artigo
Adicionar ao Meu Espaço

Applicable Mathematics in a Minimal Computational Theory of Sets

Avron, Arnon ; Cohen, Liron

Episciences.org 2018

Texto completo disponível

Ver todas as versões
6
Material Type:
Artigo
Adicionar ao Meu Espaço

Some observations on the logical foundations of inductive theorem proving

Hetzl, Stefan ; Wong, Tin Lok

Episciences.org 2018

Texto completo disponível

Ver todas as versões
7
Material Type:
Artigo
Adicionar ao Meu Espaço

The sequential functionals of type $(\iota \rightarrow \iota)^n \rightarrow \iota$ form a dcpo for all $n \in \Bbb N$

Normann, Dag

Episciences.org 2018

Texto completo disponível

Ver todas as versões
8
Material Type:
Artigo
Adicionar ao Meu Espaço

Complexity of Conditional Term Rewriting

Kop, Cynthia ; Middeldorp, Aart ; Sternagel, Thomas

Episciences.org 2017

Texto completo disponível

Ver todas as versões
9
Material Type:
Artigo
Adicionar ao Meu Espaço

Well Behaved Transition Systems

Blondin, Michael ; Finkel, Alain ; McKenzie, Pierre

Episciences.org 2017

Texto completo disponível

Ver todas as versões
10
Material Type:
Artigo
Adicionar ao Meu Espaço

A Ghost at $\omega_1$

Levy, Paul Blain

Episciences.org 2018

Texto completo disponível

Ver todas as versões
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 (89)

Data de Publicação 

De até

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Dudenhefner, Andrej
  2. Abdulla, Parosh Aziz
  3. Clairambault, Pierre
  4. Castellan, Simon
  5. Sciavicco, Guido

Buscando em bases de dados remotas. Favor aguardar.