skip to main content
Idioma:
Refinado por: Nome da Publicação: Electronic Notes in Theoretical Computer Science remover Nome da Publicação: Electronic Proceedings In Theoretical Computer Science remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
The Design of GP 2
The Design of GP 2
Material Type:
Artigo 		Adicionar ao Meu Espaço

The Design of GP 2

Plump, Detlef

Electronic proceedings in theoretical computer science, 2012-04, Vol.82 (Proc. WRS 2011), p.1-16

Open Publishing Association

Texto completo disponível

Citações Citado por
2
Extensional and Intensional Strategies
Extensional and Intensional Strategies
Material Type:
Artigo 		Adicionar ao Meu Espaço

Extensional and Intensional Strategies

Bourdier, Tony ; Cirstea, Horatiu ; Dougherty, Daniel ; Kirchner, Hélène

Electronic proceedings in theoretical computer science, 2010-01, Vol.15 (Proc. WRS 2009), p.1-19

EPTCS

Texto completo disponível

Citações Citado por
3
Lazy AC-Pattern Matching for Rewriting
Lazy AC-Pattern Matching for Rewriting
Material Type:
Artigo 		Adicionar ao Meu Espaço

Lazy AC-Pattern Matching for Rewriting

Belkhir, Walid ; Giorgetti, Alain

Electronic proceedings in theoretical computer science, 2012-01, Vol.82 (Proc. WRS 2011), p.37-51

Open Publishing Association

Texto completo disponível

Citações Citado por
4
Basic completion strategies as another application of the Maude strategy language
Basic completion strategies as another application of the Maude strategy language
Material Type:
Artigo 		Adicionar ao Meu Espaço

Basic completion strategies as another application of the Maude strategy language

Verdejo, Alberto ; Martí-Oliet, Narciso

Electronic proceedings in theoretical computer science, 2012-04, Vol.82 (Proc. WRS 2011), p.17-36

Open Publishing Association

Texto completo disponível

Citações Citado por
5
Productivity of Non-Orthogonal Term Rewrite Systems
Productivity of Non-Orthogonal Term Rewrite Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

Productivity of Non-Orthogonal Term Rewrite Systems

Raffelsieper, Matthias

Electronic proceedings in theoretical computer science, 2012-04, Vol.82 (Proc. WRS 2011), p.53-67

Open Publishing Association

Texto completo disponível

Citações Citado por
6
Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic
Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic

Zantema, Hans

Electronic proceedings in theoretical computer science, 2012-04, Vol.82 (Proc. WRS 2011), p.69-76

Open Publishing Association

Texto completo disponível

Citações Citado por
7
Stream Productivity by Outermost Termination
Stream Productivity by Outermost Termination
Material Type:
Artigo 		Adicionar ao Meu Espaço

Stream Productivity by Outermost Termination

Zantema, Hans ; Raffelsieper, Matthias

Electronic proceedings in theoretical computer science, 2010-01, Vol.15 (Proc. WRS 2009), p.83-95

Open Publishing Association

Texto completo disponível

Citações Citado por
8
Extending Context-Sensitivity in Term Rewriting
Extending Context-Sensitivity in Term Rewriting
Material Type:
Artigo 		Adicionar ao Meu Espaço

Extending Context-Sensitivity in Term Rewriting

Gramlich, Bernhard ; Schernhammer, Felix

Electronic proceedings in theoretical computer science, 2010-01, Vol.15 (Proc. WRS 2009), p.56-68

Open Publishing Association

Texto completo disponível

Citações Citado por
9
Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices
Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices
Material Type:
Artigo 		Adicionar ao Meu Espaço

Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices

Ventura, Daniel ; Ayala-Rincón, Mauricio ; Kamareddine, Fairouz

Electronic proceedings in theoretical computer science, 2010-01, Vol.15 (Proc. WRS 2009), p.69-82

Open Publishing Association

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Refinar Meus Resultados

Data de Publicação 

De até
Refinar

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

Buscando em bases de dados remotas. Favor aguardar.