International Workshop on Conditional (and Typed) Rewriting Systems

ID:DA05737429

別名: International Conditional and Typed Rewriting Systems Workshop

International CTRS Workshop

International Workshop on Conditional Term Rewriting Systems

International Workshop, CTRS

CTRS

同姓同名の著者を検索

検索結果3件中 1-3 を表示

1

Conditional and typed rewriting systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings

Nachum Dershowitz, Naomi Lindenstrauss (eds.)

Springer-Verlag c1995 Lecture notes in computer science 968

: Berlin

所蔵館54館
2

Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992 : proceedings

M. Rusinowitch, J.L. Rémy (eds.)

Springer-Verlag c1993 Lecture notes in computer science 656

: gw , : us

所蔵館57館
3

Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings

S. Kaplan, M. Okada, (eds.)

Springer-Verlag c1991 Lecture notes in computer science 516

: gw , : us

所蔵館53館

この著者を外部サイトでさがす

関連著者

ページトップへ