ID:DA05737429
International Conditional and Typed Rewriting Systems Workshop
International CTRS Workshop
International Workshop on Conditional Term Rewriting Systems
International Workshop, CTRS
CTRS
Search authors sharing the same name
Nachum Dershowitz, Naomi Lindenstrauss (eds.)
Springer-Verlag c1995 Lecture notes in computer science 968
: Berlin
Available at 54 libraries
M. Rusinowitch, J.L. Rémy (eds.)
Springer-Verlag c1993 Lecture notes in computer science 656
: gw , : us
Available at 58 libraries
S. Kaplan, M. Okada, (eds.)
Springer-Verlag c1991 Lecture notes in computer science 516
Available at 55 libraries