Conditional Term Rewriting Systems : Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings

Bibliographische Detailangaben

Titel

Conditional Term Rewriting Systems Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings

verantwortlich

Rusinowitch, Michael (VerfasserIn); Remy, Jean-Luc (Sonstige)

Schriftenreihe

Lecture Notes in Computer Science ; 656

veröffentlicht

Berlin, Heidelberg: Springer Berlin Heidelberg, 1993

Erscheinungsjahr

1993

Teil von

SpringerLink

Teil von

Lecture notes in computer science ; 656

Buchausg. u.d.T.

Conditional term rewriting systems, Berlin : Springer-Verl., 1993, XI, 501 S.

Medientyp

E-Book Konferenzbericht

Datenquelle

K10plus Verbundkatalog
Springer Lecture Notes

Tags

Tag hinzufügen