Efficient graph rewriting and its implementation
This book presents two major research results on the fast implementation of graph rewriting systems (GRS). First, it explores the class of so-called UBS-GRS, where the complexity of a rewriting step is linear instead of NP, showing for example that visual programming is possible by UBS graph rewriti...
Enregistré dans:
| Hovedforfatter: | Dörr, Heiko, 19..- |
|---|---|
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
922 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Efficient graph rewriting and its implementation, Heiko Dörr, New York, Springer-Verlag, 1995, 1 vol. (IX-266 p.), Lecture notes in computer science, 3-540-60055-8 • Efficient Graph Rewriting and Its Implementation, Texte imprimé, 9783662214855 |
Lignende værker
- Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10 1992 : proceedings (Livre numérique)
- Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings (Livre numérique)
- Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings (Livre numérique)
- Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings (Livre numérique)
- Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings (Livre numérique)

