Treffer: Conditional and typed rewriting systems
Titel:
Conditional and typed rewriting systems : proceedings / 2nd International CTRS Workshop, Montreal, Canada, June 11 - 14, 1990. S. Kaplan ... (ed.)
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 1991
Umfang:
X, 461 Seiten : Diagramme
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 516
alle Bände anzeigen
alle Bände anzeigen
Frühere/Spätere Titel:
Frühere Auflage: Conditional term rewriting systems
Anmerkungen:
1 als fortlaufendes Sammelwerk behandelt. - Literaturangaben
Schlagworte:
ISBN:
3540543171 ; 0387543171
Lokale Klassifikationen: