Rewriting techniques and applications 14th international conference, RTA 2003, Valencia, Spain, June 9 - 11, 2003 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
2003
|
| Schriftenreihe: | Lecture notes in computer science
2706 |
| Schlagworte: |
Algebraïsche logica
> Algoritmos - Congresos
> Bewijstheorie
> Computermethoden
> Programación de computadoras - Congresos
> Reduktionssystem
> Sistemas de reescritura (Computación) - Congresos
> Specificatie
> Algorithms
> Congresses
> Computer programming
> Rewriting systems Computer science
> Valencia <2003>
> Konferenzschrift
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | Includes bibliographical references and index |
|---|---|
| Beschreibung: | XI, 514 S. |
| ISBN: | 3540402543 3-540-40254-3 |