close
1.

図書
図書
1. Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings (: gw ; : us)
S. Kaplan, J.-P. Jouannaud (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  vi, 278 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 308
所蔵情報: loading…
目次情報: 続きを見る
Hierarchical Contextual Rewriting with Several Levels
Confluence of Conditional Rewrite Systems
Solving Goals in Equational Languages
On the Use of Conditional Rewrite Rules in Inductive Theorem Proving
A Completion Procedure for Conditional Equations
A Compiler for a Class of Conditional Term Rewriting Systems
Notes on the Elimination of Conditions
Equational Axiomatizations of If-Then-Else
Compiling Conditional Rewriting Systems
Positive/Negative Conditional Rewriting
On Word Problems in Horn Theories
Conditional Specifications with Inequational Assumptions
A Logical Analysis on Theory of Conditional Rewriting
Computing with Conditional Rewrite Rules
A Logic for Conditional Term Rewriting Systems
Confluent Term Rewriting Systems with Membership Conditions
System Presentations: TRSPEC
CEC
Asspegique
Reveur4
An Introduction to OBJ 3
The Passau RAP System: Rapid Prototyping for Algebraic Specifications
Architecture for Conditional Term Rewriting
Hierarchical Contextual Rewriting with Several Levels
Confluence of Conditional Rewrite Systems
Solving Goals in Equational Languages
2.

図書
図書
2. Applications of graph transformations with industrial relevance : International Workshop, AGTIVE '99, Kerkrade, the Netherlands, September 1-3, 1999 : proceedings
Manfred Nagl, Andreas Schürr, Manfred Münch (eds.)
出版情報: Berlin : Springer, c2000  xv, 496 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1779
所蔵情報: loading…
3.

図書
図書
3. Rewriting techniques and applications : 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings
Leo Bachmair (ed.)
出版情報: Berlin : Springer, c2000  x, 273 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1833
所蔵情報: loading…
4.

図書
図書
4. Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings
Tobias Nipkow (ed.)
出版情報: Berlin ; New York : Springer, c1998  x, 342 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1379
所蔵情報: loading…
5.

図書
図書
5. Rewriting techniques and applications : 8th International conference, RTA-97, Sitges, Spain, June 2-5 1997 : proceedings (: pbk)
Hubert Comon (ed.)
出版情報: Berlin ; New York : Springer, c1997  xi, 338 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1232
所蔵情報: loading…
6.

図書
図書
6. Rewriting techniques and applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings (: Berlin)
Jieh Hsiang, (ed.)
出版情報: Berlin : Springer-Verlag, c1995  xii, 471 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 914
所蔵情報: loading…
7.

図書
図書
7. Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course (: Berlin ; : New York)
Hubert Comon, Jean-Pierre Jouannaud, (eds.)
出版情報: Berlin ; New York ; Tokyo : Springer Verlag, c1995  viii, 221 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 909
所蔵情報: loading…
8.

図書
図書
8. Rewriting techniques and applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings
Harald Ganzinger (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1996  xi, 435 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1103
所蔵情報: loading…
9.

図書
図書
9. Higher-order algebra, logic, and term rewriting : second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
Gilles Dowek ... [et al.], (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  287 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1074
所蔵情報: loading…
10.

図書
図書
10. 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  viii, 373 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 968
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼