skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 next page
Refinado por: Nome da Publicação: Logic Journal Of The Igpl remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Towards automated first-order abduction: the cut-based approach
Towards automated first-order abduction: the cut-based approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards automated first-order abduction: the cut-based approach

Finger, M.

Logic journal of the IGPL, 2012-04, Vol.20 (2), p.370-387 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
2
Towards structurally-free theorem proving
Towards structurally-free theorem proving
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards structurally-free theorem proving

Marcelo Finger

Logic Journal of the IGPL Oxford v. 6, n. 3, p. 425-449, 1998

Oxford 1998

Localização: IME - Inst. Matemática e Estatística    (PROD-1032789 )(Acessar)

3
Towards automated first-order abduction: the cut-based approach
Towards automated first-order abduction: the cut-based approach
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards automated first-order abduction: the cut-based approach

Marcelo Finger

Logic Journal of the IGPL Oxford v. 20, n. 2, SI, p. 370-387, 2012

Oxford 2012

Localização: IME - Inst. Matemática e Estatística    (PROD-2276088 )(Acessar)

4
Towards structurally-free theorem proving
Towards structurally-free theorem proving
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards structurally-free theorem proving

Marcelo Finger

Logic Journal of the IGPL Oxford v. 6, n. 3, p. 425-449, 1998

Oxford 1998

Localização: IME - Inst. Matemática e Estatística    (PROD-1032789 )(Acessar)

5
Cut-Based Abduction
Cut-Based Abduction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Cut-Based Abduction

D’Agostino, Marcello ; Finger, Marcelo ; Gabbay, Dov

Logic journal of the IGPL, 2008-12, Vol.16 (6), p.537-560 [Periódico revisado por pares]

Oxford: Oxford University Press

Texto completo disponível

Citações Citado por
6
Completeness for cut-based abduction
Completeness for cut-based abduction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Completeness for cut-based abduction

Arruda, A. M. ; Finger, M.

Logic journal of the IGPL, 2014-04, Vol.22 (2), p.286-296 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
7
The Unrestricted Combination of Temporal Logic Systems
The Unrestricted Combination of Temporal Logic Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Unrestricted Combination of Temporal Logic Systems

Finger, Marcelo ; Weiss, M. Angela

Logic journal of the IGPL, 2002-03, Vol.10 (2), p.165-189 [Periódico revisado por pares]

Oxford University Press

Texto completo disponível

Citações Citado por
8
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs
Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs

Finger, Marcelo ; Gabbay, Dov

Logic journal of the IGPL, 2007, Vol.15 (5-6), p.553-575 [Periódico revisado por pares]

Oxford: Oxford University Press

Texto completo disponível

Citações Citado por
9
On Fingerprinting of Public Malware Analysis Services
On Fingerprinting of Public Malware Analysis Services
Material Type:
Artigo 		Adicionar ao Meu Espaço

On Fingerprinting of Public Malware Analysis Services

Botas, Alvaro ; Rodríguez, Ricardo J ; Matellan, Vicente ; Garcia, Juan F ; Trobajo, M T ; Carriegos, Miguel V

Logic journal of the IGPL, 2020-08, Vol.28 (4), p.473-486 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
10
Towards structurally-free theorem proving
Towards structurally-free theorem proving
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards structurally-free theorem proving

Finger, M

Logic journal of the IGPL, 1998-05, Vol.6 (3), p.425-449 [Periódico revisado por pares]

Oxford University Press

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finger, M
  2. Broda, K
  3. Weiss, M
  4. Kempson, R
  5. Gabbay, D

Neste Assunto:

  1. Mathematics
  2. Mathematics, Applied
  3. Physical Sciences
  4. Science & Technology
  5. Logic

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.