Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings
In recent years, extensions of rewriting techniques that go beyond the traditional untyped algebraic rewriting framework have been investigated and developed. Among these extensions, conditional and typed systems are particularly important, as are higher-order systems, graph rewriting systems, etc....
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science
516 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Conditional and typed rewriting systems, 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990, proceedings, S. Kaplan, M. Okada (eds.), Berlin, Springer-Verlag, 1991, 1 vol. (X-461 p.), Lecture notes in computer science, 3-540-54317-1 • Conditional and Typed Rewriting Systems, Texte imprimé, 9783662190616 |