skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Internal Guidance for Satallax
Internal Guidance for Satallax
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Internal Guidance for Satallax

Färber, Michael ; Brown, Chad

Automated Reasoning, p.349-361 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
2
Counting Constraints in Flat Array Fragments
Counting Constraints in Flat Array Fragments
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Counting Constraints in Flat Array Fragments

Alberti, Francesco ; Ghilardi, Silvio ; Pagani, Elena

Automated Reasoning, p.65-81 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Built-in Variant Generation and Unification, and Their Applications in Maude 2.7

Durán, Francisco ; Eker, Steven ; Escobar, Santiago ; Martí-Oliet, Narciso ; Meseguer, José ; Talcott, Carolyn

Automated Reasoning, p.183-192 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
4
On Interpolation and Symbol Elimination in Theory Extensions
On Interpolation and Symbol Elimination in Theory Extensions
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

On Interpolation and Symbol Elimination in Theory Extensions

Sofronie-Stokkermans, Viorica

Automated Reasoning, p.273-289 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
5
Schematic Cut Elimination and the Ordered Pigeonhole Principle
Schematic Cut Elimination and the Ordered Pigeonhole Principle
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Schematic Cut Elimination and the Ordered Pigeonhole Principle

Cerna, David M. ; Leitsch, Alexander

Automated Reasoning, p.241-256 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
6
Intuitionistic Layered Graph Logic
Intuitionistic Layered Graph Logic
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Intuitionistic Layered Graph Logic

Docherty, Simon ; Pym, David

Automated Reasoning, p.469-486 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
Effective Normalization Techniques for HOL
Effective Normalization Techniques for HOL
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Effective Normalization Techniques for HOL

Wisniewski, Max ; Steen, Alexander ; Kern, Kim ; Benzmüller, Christoph

Automated Reasoning, p.362-370 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
8
Congruence Closure in Intensional Type Theory
Congruence Closure in Intensional Type Theory
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Congruence Closure in Intensional Type Theory

Selsam, Daniel ; de Moura, Leonardo

Automated Reasoning, p.99-115 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
9
Model Checking Parameterised Multi-token Systems via the Composition Method
Model Checking Parameterised Multi-token Systems via the Composition Method
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Model Checking Parameterised Multi-token Systems via the Composition Method

Aminof, Benjamin ; Rubin, Sasha

Automated Reasoning, p.499-515 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
10
Inducing Syntactic Cut-Elimination for Indexed Nested Sequents
Inducing Syntactic Cut-Elimination for Indexed Nested Sequents
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Inducing Syntactic Cut-Elimination for Indexed Nested Sequents

Ramanayake, Revantha

Automated Reasoning, p.416-432 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
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 (28)

Data de Publicação 

De até
Refinar
  1. Antes de1997  (3)
  2. 1997Até2001  (10)
  3. 2002Até2011  (18)
  4. 2012Até2015  (12)
  5. Após 2015  (38)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (97)
  2. Francês  (2)
  3. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.