Conditional and typed rewriting systems proceedings

Bibliographische Detailangaben

Vorheriger Titel:	Conditional term rewriting systems
Körperschaft:	International CTRS Workshop
Weitere Verfasser:	Kaplan, Stéphane (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin Springer 1991
Schriftenreihe:	Lecture notes in computer science 516
Schlagworte:	Bedingtes Termersetzungssystem > Konferenzschrift
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!