Rewriting techniques and applications 5th international conference, RTA-93, Montreal, Canada, June 16 - 18, 1993 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
1993
|
| Schriftenreihe: | Lecture notes in computer science
690 |
| Schlagworte: |
Algebraïsche logica
> Algorithmes - Congrès
> Bewijstheorie
> Computermethoden
> Herschrijfregels
> Programmation (Informatique) - Congrès
> Réécriture, Systèmes de (Informatique) - Congrès
> Rewriting systems (Computer science) -- Congresses
> Computer programming -- Congresses
> Algorithms -- Congresses
> Graph-Grammatik
> Reduktionssystem
> Programmiersprache
> Konferenzschrift
|
| Online Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | XI, 487 S. graph. Darst. |
|---|---|
| ISBN: | 3540568689 3-540-56868-9 0387568689 0-387-56868-9 |