著者典拠情報

標目形：
International Workshop on Conditional (and Typed) Rewriting Systems
属性：
Meeting
場所：
Montreal, Canada;Pont-à-Mousson, France;Jerusalem, Israel
日付：
1990;1992;1994
から見よ参照形：
International Conditional and Typed Rewriting Systems Workshop
International CTRS Workshop
International Workshop on Conditional Term Rewriting Systems
International Workshop, CTRS
CTRS
注記：
Conditional and typed rewriting systems, c1991: t.p. (International CTRS Workshop) pref. (International CTRS (Conditional and Typed Rewriting Systems) workshops ...)
Its (3rd : 1992 : Pont-à-Mousson, France). Conditional term rewriting systems, c1993: t.p. (Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992) pref. (Third International Workshop on Conditional Term Rewriting Systems)
EDSRC: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)
著者典拠ID：
DA05737429


 close
1.

図書
図書
1. Conditional and typed rewriting systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings (: Berlin)
Nachum Dershowitz, Naomi Lindenstrauss (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 968
所蔵情報: loading…
2.

図書
図書
2. Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992 : proceedings (: gw ; : us)
M. Rusinowitch, J.L. Rémy (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 656
所蔵情報: loading…
3.

図書
図書
3. Conditional and typed rewriting systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : proceedings (: gw ; : us)
S. Kaplan, M. Okada, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 516
所蔵情報: loading…