skip to main content
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Annals of Pure and Applied Logic remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Interaction graphs: Graphings

Seiller, Thomas Seiller, Thomas (Editor)

Annals of Pure and Applied Logic, February 2017, Vol.168(2), pp.278-320 [Periódico revisado por pares]

Texto completo disponível

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

Interaction graphs: Additives

Seiller, Thomas Seiller, Thomas (Editor)

Annals of Pure and Applied Logic, February 2016, Vol.167(2), pp.95-154 [Periódico revisado por pares]

Texto completo disponível

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

Reasoning about proof and knowledge

Lewitzka, Steffen

Annals of Pure and Applied Logic, Volume 170, Issue 2, February 2019, Pages 218-250 [Periódico revisado por pares]

Texto completo disponível

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

The lambda-mu-T-calculus

Geuvers, Herman ; Krebbers, Robbert ; Mckinna, James

Texto completo disponível

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

Continuation-passing Style Models Complete for Intuitionistic Logic

Ilik, Danko Ilik, Danko (Editor)

Annals of Pure and Applied Logic, 16 May 2012 [Periódico revisado por pares]

Texto completo disponível

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

Delimited control operators prove Double-negation Shift

Ilik, Danko Ilik, Danko (Editor)

Annals of Pure and Applied Logic, November 2012, Vol.163(11), pp.1549-1559 [Periódico revisado por pares]

Texto completo disponível

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

Visible acyclic differential nets, Part I: Semantics

Pagani, Michele Pagani, Michele (Editor)

Annals of Pure and Applied Logic, 10 October 2011, Vol.163(3), pp.238-265 [Periódico revisado por pares]

Texto completo disponível

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

Kripke Semantics and Proof Systems for Combining Intuitionistic Logic and Classical Logic

Liang, Chuck ; Miller, Dale Miller, Dale (Editor)

Annals of Pure and Applied Logic, 01 February 2013, Vol.164(2), pp.86-111 [Periódico revisado por pares]

Texto completo disponível

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

A Focused Approach to Combining Logics

Liang, Chuck ; Miller, Dale Miller, Dale (Editor)

Annals of Pure and Applied Logic, 2011 [Periódico revisado por pares]

Texto completo disponível

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

Extension without Cut

Straßburger, Lutz Straßburger, Lutz (Editor)

Annals of Pure and Applied Logic, 2012, Vol.163(12), pp.1995-2007 [Periódico revisado por pares]

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.   

Data de Publicação 

De até
  1. Antes de2000  (4)
  2. 2000Até2005  (4)
  3. 2006Até2009  (15)
  4. 2010Até2013  (24)
  5. Após 2013  (10)
  6. Mais opções open sub menu

Base de Dados/Biblioteca 

  1. Elsevier (CrossRef)  (49)
  2. ScienceDirect (Elsevier)  (49)
  3. HAL (CCSd)  (38)
  4. OneFile (GALE)  (31)
  5. arXiv  (22)
  6. Mais opções open sub menu

Nome da Publicação 

  1. arXiv.org  (19)
  2. Ann. Pure Appl. Logic  (1)
  3. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Ehrhard, Thomas
  2. Bucciarelli, Antonio
  3. Ilik, Danko
  4. Miller, Dale
  5. Seiller, Thomas

Buscando em bases de dados remotas. Favor aguardar.