TY  - BOOK
TI  - Conditional term rewriting systems: third international workshop, CTRS-92, Pont-à-Mousson, France, July 8 - 10, 1992 ; proceedings
T3  - 
T3  - 656
AU  - Rusinowitch, Michaël and Rusinovič, Michail
editor = {Rusinowitch, Michaël},
editor = {Rusinovič, Michail},
A2  - Rusinowitch, Michaël
A2  - Rusinovič, Michail
CY  - Berlin
PB  - Springer-Verl.
PY  - 1993
PY  - 1993
LA  - English
KW  - Rewriting systems (Computer science)
KW  - Congresses
KW  - Konferenzschrift
KW  - Konferenzschrift
KW  - 1992
KW  - Pont-à-Mousson
KW  - Bedingtes Termersetzungssystem
KW  - (DE-627)
SN  - 3540563938
SN  - 0387563938
N1  - Literaturangaben
UR  - https://swbplus.bsz-bw.de/bsz031812538cov.jpg
UR  - https://zbmath.org/?q=an:0825.00125
UR  - https://katalog.fid-bbi.de/Record/183-12087704X
ER  -