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…
11.

図書
図書
11. 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  x, 461 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 516
所蔵情報: loading…
12.

図書
図書
12. 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  xi, 501 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 656
所蔵情報: loading…
13.

図書
図書
13. Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, proceedings (: gw ; : us)
Ronald V. Book, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  vii, 458 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 488
所蔵情報: loading…
14.

図書
図書
14. Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings (: gw ; : us)
N. Dershowitz (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  vii, 579 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 355
所蔵情報: loading…
15.

図書
図書
15. Higher-order algebra, logic, and term rewriting : first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers (: gw ; : us)
Jan Heering ... [et al.] (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  344 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 816
所蔵情報: loading…
16.

図書
図書
16. Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal Canada, June 16-18 1993 : proceedings (: gw ; : us)
Claude Kirchner (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993  xi, 487 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 690
所蔵情報: loading…
17.

図書
図書
17. Rewriting techniques and applications : 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
Aart Middeldorp (ed.)
出版情報: Berlin : Springer, c2001  xii, 361 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2051
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Computing and Proving / Henk Barendregt
Rewriting for Deduction / Verification ; Michael Rusinowitch
Regular Papers
Universal Interaction Systems with Only Two Agents / Denis Bechet
General Recursion on Second Order Term Algebras / Alessandro Berarducci ; Corrado Bohm
Beta Reduction Constraints / Manuel Bodirsky ; Katrin Erk ; Alexander Koller ; Joachim Niehren
From Higher-Order to First-Order Rewriting / Eduardo Bonelli ; Delia Kesner ; Alejandro Ríos
Combining Pattern E-Unification Algorithms / Alexandre Boudet ; Evelyne Contejean
Matching Power / Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori
Dependency Pairs for Equational Rewriting / Jurgen Giesl ; Deepak Kapur
Termination Proofs by Context-Dependent Interpretations / Dieter Hofbauer
Uniform Normalisation beyond Orthogonality / Zurab Khasidashvili ; Mizuhito Ogawa ; Vincent van Oostrom
Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order / Konstantin Korovin ; Andrei Voronkov
Relating Accumulative and Non-accumulative Functional Programs / Armin Kuhnemann ; Robert Gluck ; Kazuhiko Kakehi
Context Unification and Traversal Equations / Jordi Levy ; Mateu Villaret
Weakly Regular Relations and Applications / Sebastien Limet ; Pierre Rety ; Helmut Seidl
On the Parallel Complexity of Tree Automata / Markus Lohrey
Transfinite Rewriting Semantics for Term Rewriting Systems / Salvador Lucas
Goal-Directed E-Unification / Christopher Lynch ; Barbara Morawska
The Unification Problem for Confluent Right-Ground Term Rewriting
Systems / Michio Oyamaguchi ; Yoshikatsu Ohta
On Termination of Higher-Order Rewriting / Femke van Raamsdonk
Matching with Free Function Symbols - A Simple Extension of Matching? / Christophe Ringeissen
Deriving Focused Calculi for Transitive Relations / Georg Struth
A Formalised First-Order Confluence Proof for the ?-Calculus Using One-Sorted Variable Names (Barendregt Was Right after all ... almost) / Rene Vestergaard ; James Brotherston
A Normal Form for Church-Rosser Language Systems / Jens R. Woinowski
Confluence and Termination of Simply Typed Term Rewriting Systems / Toshiyuki Yamada
System Descriptions
Parallel Evaluation of Interaction Nets with MPINE / Jorge Sousa Pinto
Stratego: A Language for Program Transformation Based on Rewriting Strategies (System Description of Stratego 0.5) / Eelco Visser
Author Index
Invited Talks
Computing and Proving / Henk Barendregt
Rewriting for Deduction / Verification ; Michael Rusinowitch
18.

図書
図書
18. Rewriting techniques and applications : 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings
Sophie Tison (ed.)
出版情報: Berlin : Springer, c2002  xi, 385 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2378
所蔵情報: loading…
19.

図書
図書
19. Applications of graph transformations with industrial relevance : second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003 : revised selected and invited papers
John L. Pfaltz, Manfred Nagl, Boris Böhlen (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xv, 500 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3062
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼