skip to main content
Resultados 1 2 3 4 5 next page
Refinado por: Base de dados/Biblioteca: Oxford Journals (Oxford University Press) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Algebraic semantics for a modal logic close to S1

Lewitzka, Steffen

Texto completo disponível

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

Tableaux and Resource Graphs for Separation Logic

Galmiche, Didier ; Mery, Daniel Galmiche, Didier (Editor)

Journal of Logic and Computation, 2010, Vol.20(1), pp.189-231 [Periódico revisado por pares]

Texto completo disponível

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

Bottom-up Construction of Semantic Tableaux

Peltier, Nicolas Peltier, Nicolas (Editor)

Journal of Logic and Computation, 2010, Vol.20(1) [Periódico revisado por pares]

Texto completo disponível

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

A Modal Separation Logic for Resource Dynamics

Courtault, Jean-René ; Galmiche, Didier Galmiche, Didier (Editor)

Journal of Logic and Computation, 2015 [Periódico revisado por pares]

Texto completo disponível

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

From Deep Inference to Proof Nets via Cut Elimination

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

Journal of Logic and Computation, 2011, Vol.21(4), pp.589-624 [Periódico revisado por pares]

Texto completo disponível

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

Composition and abstraction of logical regulatory modules: application to multicellular systems

Mendes, Nuno D ; Lang, Frédéric ; Le Cornec, Yves-Stan ; Mateescu, Radu ; Batt, Grégory ; Chaouiya, Claudine Davesne, Frédéric (Editor)

Bioinformatics, January 2013, Vol.29(6), pp.749-757 [Periódico revisado por pares]

Texto completo disponível

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

CERES for First-Order Schemata

Leitsch, Alexander ; Peltier, Nicolas ; Weller, Daniel Peltier, Nicolas (Editor)

Journal of Logic and Computation, 2017, Vol.27(7), p.1897–1954 [Periódico revisado por pares]

Texto completo disponível

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

Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations

Fletcher, George H. L. ; Gyssens, Marc ; Leinders, Dirk ; Bussche, Jan Van Den ; Van Gucht, Dirk ; Vansummeren, Stijn

Texto completo disponível

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

Undecidability of the problem of recognizing axiomatizations for implicative propositional calculi

Bokov, Grigoriy V.

Logic Journal of the IGPL (2015) 23 (2): 341-353 [Periódico revisado por pares]

Texto completo disponível

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

Undecidable problems for propositional calculi with implication

Bokov, Grigoriy V.

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 de2004  (10)
  2. 2004Até2007  (17)
  3. 2008Até2011  (21)
  4. 2012Até2016  (31)
  5. Após 2016  (10)
  6. Mais opções open sub menu

Base de Dados/Biblioteca 

  1. HAL (CCSd)  (45)
  2. JSTOR Archival Journals  (26)
  3. arXiv  (22)
  4. OneFile (GALE)  (18)
  5. Wiley Online Library  (1)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Galmiche, Didier
  2. Galmiche, D
  3. Frittella, Sabine
  4. Balbiani, Philippe
  5. Peltier, Nicolas

Buscando em bases de dados remotas. Favor aguardar.