close
1.

図書

図書
Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds.)
出版情報: Berlin : Springer, c2006  xxxviii, 642 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 4060
所蔵情報: loading…
2.

図書

図書
Jean-Pierre Jouannaud (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1994  viii, 367 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 845
所蔵情報: loading…
3.

図書

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

図書

図書
edited by Jean-Pierre Jouannaud
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985  vi, 440 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 202
所蔵情報: loading…
目次情報: 続きを見る
History and Basic Features of the Critical-Pair/Completion Procedure / B. Buchberger
Thue Systems as Rewriting Systems. N. Dershowitz, Termination of Rewriting / R.V. Book
Path of Subterms Ordering and Recursive Decomposition Ordering Revisited / M. Rusinowitch
Rewrite Methods for Theorem Proving in First Order Theory with Equality / J. Hsiang
Unification in Combinations of Collapse-Free Regular Theories / K.A. Yellick
Unification Problems with One-Sided Distributivity / E. Tiden ; S. Arnborg
Complexity of Matching Problems / D. Benanav ; D. Kapur ; P. Narendran
Index
History and Basic Features of the Critical-Pair/Completion Procedure / B. Buchberger
Thue Systems as Rewriting Systems. N. Dershowitz, Termination of Rewriting / R.V. Book
Path of Subterms Ordering and Recursive Decomposition Ordering Revisited / M. Rusinowitch
5.

図書

図書
edited by Jean-Pierre Jouannaud
出版情報: Berlin ; New York : Springer-Verlag, c1985  vi, 413 p. ; 23 cm
シリーズ名: Lecture notes in computer science ; 201
所蔵情報: loading…
6.

図書

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

図書

図書
M.-C. Gaudel, J.-P. Jouannaud (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1993  xii, 761 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 668
所蔵情報: loading…
8.

電子ブック

EB
Jean-Pierre Jouannaud, Zhong Shao
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
9.

電子ブック

EB
International Joint Conference on Theory and Practice of Software Development, Marie-Claude Gaudel, Jean-Pierre Jouannaud
出版情報: SpringerLink Books Lecture Notes In Computer Science Archive , Springer Berlin Heidelberg, 1993
所蔵情報: loading…
10.

電子ブック

EB
French Spring School of Theoretical Computer Science, Hubert Comon, Jean-Pierre Jouannaud
出版情報: SpringerLink Books Lecture Notes In Computer Science Archive , Springer Berlin Heidelberg, 1995
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼