close
1.

図書

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

図書

図書
S. Kaplan, M. Okada, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991  x, 461 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 516
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼