Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : Treinen, Ralf (1961-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur
International Conference on Rewriting Techniques and Applications ( 20th ; 2009)  Voir les notices liées en tant qu'auteur
International Conference on Rewriting Techniques and Applications ( 20th ; Brasília, Brazil2009)  Voir les notices liées en tant qu'auteur

Titre(s) : Rewriting Techniques and Applications [Texte électronique] : 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 : Proceedings / edited by Ralf Treinen

Publication : Berlin, Heidelberg : Springer Berlin Heidelberg : Springer e-books, 2009

Description matérielle : 1 online resource

Collection : Computer Science (Springer-11645)
Lecture Notes in Computer Science ; 5595

Note(s) : Fichier PDF.
Thisvolumecontainsthepapersofthe20thInternationalConferenceonRewr- ing Techniques and Applications (RTA 2009), which was held from June 29 to July 1, 2009, in Bras´ ?lia, Brazil as part of the 5th International Conference on Rewriting, Deduction, and Programming (RDP 2009) together with the Int- national Conference on Typed Lambda Calculi and Applications (TLCA 2009), the International School on Rewriting (ISR 2009), the 4th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2009), the 10th Inter- tional Workshop on Rule-Based Programming (RULE 2009), the 8th Inter- tional Workshop on Functional and (Constraint) Logic Programming (WFLP 2009), the 9th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2009), and the annual meeting of the IFIP Working Group 1.6 on term rewriting. RTA is the major forum for the presentation of research on all aspects of rewriting.PreviousRTAconferenceswereheldinDijon(1985),Bordeaux(1987), Chapel Hill (1989), Como (1991), Montreal (1993), Kaiserslautern (1995), R- gers (1996), Sitges (1997), Tsukuba (1998), Trento (1999), Norwich (2000), Utrecht(2001),Copenhagen(2002),Valencia(2003),Aachen(2004),Nara(2005), Seattle (2006), Paris (2007), and Hagenberg (2008)

Autre(s) auteur(s) : Treinen, Ralf (1961-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : Réécriture, Systèmes de (informatique)  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet
Algorithmes  Voir les notices liées en tant que sujet
Langages de programmation  Voir les notices liées en tant que sujet
Programmation (informatique)  Voir les notices liées en tant que sujet
Logique mathématique  Voir les notices liées en tant que sujet

Genre ou forme : Actes de congrès  Voir les notices liées en tant que genre ou forme

Indice(s) Dewey :  005.131 (23e éd.) = Logique symbolique (informatique)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783642023484

Identifiant de la notice  : ark:/12148/cb446981662

Notice n° :  FRBNF44698166 (notice reprise d'un réservoir extérieur)