Conditional and typed rewriting systems: proceedings
Berlin [u.a.]: Springer, 1991
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- X, 461 S. : graph. Darst.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Conditional and typed rewriting systems: proceedings
|
---|---|
Verantwortlichkeitsangabe: | 2nd International CTRS Workshop, Montreal, Canada, June 11 - 14, 1990. S. Kaplan ... (ed.) |
Autor/in / Beteiligte Person: | Kaplan, Stéphane (1961-1991) |
Körperschaft: | International CTRS Workshop |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 1991 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | X, 461 S. : graph. Darst. |
ISBN: | 3540543171 (Berlin ...); 0387543171 (New York ...) |
Schlagwort: |
|
Sonstiges: |
|