01499nam2-2200421li-450 99000020864020331620180312154741.03-540-66201-40020864USA010020864(ALEPH)000020864USA01002086420001109d1999----km-y0itay0103----baengGWRewriting techniques and applications10th International conference, RTA-99Trento, Italy, July 2-4, 1999: proceedingsPaliath Narendran ...[et al.] (eds.)BerlinSpringer-Verlag1999XI, 396 p.ill.23 cmLecture notes in computer science163100100202642001Lecture notes in computer sciencecongressitrento1999graficampi1999logica matematicacongressi19995113Logica simbolica (Logica matematica)Narendran PaliathInternational conference RTA-9910.Trento1999747260Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000208640203316001 LNCS(1631)002381400100100855BKSCI1999011920001110USA011714ALANDI9020010208USA01130820020403USA011629PATRY9020040406USA011615Rewriting techniques and applications1492578UNISA