Conditional term rewriting systems : third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings

Bibliographische Detailangaben

Titel

Conditional term rewriting systems third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings

verantwortlich

Rusinowitch, Michaël (Sonstige); Rusinovič, Michail (HerausgeberIn); CTRS (Sonstige)

Schriftenreihe

Lecture notes in computer science ; 656

veröffentlicht

Berlin, Heidelberg [u.a.]: Springer-Verl., 1993

Erscheinungsjahr

1993

Teil von

Lecture notes in computer science ; 656

Erscheint auch als

Rusinowitch, Michael, Conditional Term Rewriting Systems, Berlin, Heidelberg : Springer Berlin Heidelberg, 1993, Online-Ressource

Online-Ausg.

Conditional term rewriting systems, Berlin [u.a.] : Springer, 1993, Online-Ressource (XI, 501 S.)

Medientyp

Buch Konferenzbericht

Datenquelle

K10plus Verbundkatalog

Tags

Tag hinzufügen