close
1.

図書

図書
Sophie Tison (ed.)
出版情報: Berlin : Springer, c2002  xi, 385 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2378
所蔵情報: loading…
2.

図書

図書
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
3.

図書

図書
Leo Bachmair (ed.)
出版情報: Berlin : Springer, c2000  x, 273 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1833
所蔵情報: loading…
4.

図書

図書
Manfred Nagl, Andreas Schürr, Manfred Münch (eds.)
出版情報: Berlin : Springer, c2000  xv, 496 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1779
所蔵情報: loading…
5.

図書

図書
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…
6.

図書

図書
Hubert Comon (ed.)
出版情報: Berlin ; New York : Springer, c1997  xi, 338 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1232
所蔵情報: loading…
7.

図書

図書
Nachum Dershowitz, Naomi Lindenstrauss (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1995  viii, 373 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 968
所蔵情報: loading…
8.

図書

図書
Gilles Dowek ... [et al.], (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  287 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1074
所蔵情報: loading…
9.

図書

図書
Harald Ganzinger (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1996  xi, 435 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1103
所蔵情報: loading…
10.

図書

図書
Jieh Hsiang, (ed.)
出版情報: Berlin : Springer-Verlag, c1995  xii, 471 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 914
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼