01466nam2-2200409li-450 99000021088020331620180312154822.03-540-60381-60021088USA010021088(ALEPH)000021088USA01002108820001109d1995----km-y0itay0103----baengGWConditional and typed rewriting systems4th International workshop, CTRS-94Jerusalem, Israel, July 13-15, 1994proceedingsNachum Dershowitz ... [etc.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1995VIII, 373 p.ill.24 cm.Lecture notes in computer science96800100202642001Lecture notes in computer sciencecongressigerusalemme1994scrittura elettronicacongressi19946525.Dershowitz,NachumInternational workshop CTRS-944.Gerusalemme1994753692Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000210880203316001 LNCS (968)001871700100103751BKSCI1996040520001110USA011714ALANDI9020010131USA01163420020403USA011629PATRY9020040406USA011615Conditional and typed rewriting systems1516236UNISA