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
|
Basic completion strategies as another application of the Maude strategy languageVerdejo, Alberto ; Martí-Oliet, NarcisoElectronic proceedings in theoretical computer science, 2012-04, Vol.82 (Proc. WRS 2011), p.17-36Open Publishing AssociationTexto completo disponível |
|
5 |
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 |
|
6 |
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 |
|
7 |
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 |
|
8 |
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 |
|
9 |
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 |
|
10 |
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 |