Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
The Design of GP 2Plump, DetlefElectronic proceedings in theoretical computer science, 2012-04, Vol.82 (Proc. WRS 2011), p.1-16Open Publishing AssociationTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Extensional and Intensional StrategiesBourdier, Tony ; Cirstea, Horatiu ; Dougherty, Daniel ; Kirchner, HélèneElectronic proceedings in theoretical computer science, 2010-01, Vol.15 (Proc. WRS 2009), p.1-19EPTCSTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Lazy AC-Pattern Matching for RewritingBelkhir, Walid ; Giorgetti, AlainElectronic proceedings in theoretical computer science, 2012-01, Vol.82 (Proc. WRS 2011), p.37-51Open Publishing AssociationTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Productivity of Non-Orthogonal Term Rewrite SystemsRaffelsieper, MatthiasElectronic proceedings in theoretical computer science, 2012-04, Vol.82 (Proc. WRS 2011), p.53-67Open Publishing AssociationTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Strategy Independent Reduction Lengths in Rewriting and Binary ArithmeticZantema, HansElectronic proceedings in theoretical computer science, 2012-04, Vol.82 (Proc. WRS 2011), p.69-76Open Publishing AssociationTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Stream Productivity by Outermost TerminationZantema, Hans ; Raffelsieper, MatthiasElectronic proceedings in theoretical computer science, 2010-01, Vol.15 (Proc. WRS 2009), p.83-95Open Publishing AssociationTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Extending Context-Sensitivity in Term RewritingGramlich, Bernhard ; Schernhammer, FelixElectronic proceedings in theoretical computer science, 2010-01, Vol.15 (Proc. WRS 2009), p.56-68Open Publishing AssociationTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn IndicesVentura, Daniel ; Ayala-Rincón, Mauricio ; Kamareddine, FairouzElectronic proceedings in theoretical computer science, 2010-01, Vol.15 (Proc. WRS 2009), p.69-82Open Publishing AssociationTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Specification of Products and Product LinesGonzalez, Ariel ; Luna, CarlosElectronic proceedings in theoretical computer science, 2010-01, Vol.15 (Proc. WRS 2009), p.44-55Open Publishing AssociationTexto completo disponível |