Rewriting techniques and applications 15th international conference, RTA 2004, Aachen, Germany, June 3 - 5, 2004 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
2004
|
| Schriftenreihe: | Lecture notes in computer science
3091 |
| Schlagworte: |
Algebraïsche logica
> Algorithme
> Algorithmes - Congrès
> Bewijstheorie
> Computermethoden
> Programmation (Informatique) - Congrès
> Réécriture, Systèmes de (Informatique) - Congrès
> Specificatie
> Système de réécriture
> Algorithms
> Computer programming
> Rewriting systems (Computer science)
> Reduktionssystem
> Konferenzschrift
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | X, 311 S. |
|---|---|
| ISBN: | 3540221530 3-540-22153-0 |