Conditional Term Rewriting Systems

>> Google Books

Conditional Term Rewriting Systems

資料種別:: 電子ブック
出版情報:: SpringerLink Books Lecture Notes In Computer Science Archive
Springer Berlin Heidelberg, 1988
ISBN:: 9783540192428 [3540192425]
9783540391661 [3540391665]
書誌ID:: OB00286927

子書誌情報

フルテキスト

所蔵情報

書誌詳細

言語:

英語

目次情報:

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

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

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Conditional Term Rewriting Systems International Workshop CTRS, Remy, J. L., Rusinowitch, Michael SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg	7 電子ブック Term Rewriting French Spring School of Theoretical Computer Science, Comon, Hubert, Jouannaud, Jean-Pierre SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
2 電子ブック Conditional and Typed Rewriting Systems International CTRS Workshop, Kaplan, Stéphane, Okada, Mitsuhiro SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg	8 図書 Advanced topics in term rewriting Ohlebusch, Enno Springer
3 電子ブック Conditional and Typed Rewriting Systems International Workshop on Conditional (and Typed) Rewriting Systems, Dershowitz, Nachum, Lindenstrauss, Naomi SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg	9 電子ブック Term Rewriting and Applications Pfenning, Frank, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin / Heidelberg
4 図書 Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings Kaplan, Stéphane, 1961-, Jouannaud, Jean-Pierre Springer-Verlag	10 電子ブック Term Rewriting and Applications International Conference on Rewriting Techniques and Applications, Giesl, Jürgen, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin / Heidelberg
5 図書 Term rewriting systems Terese Cambridge University Press	11 電子ブック Term Rewriting and Applications Baader, Franz, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
6 図書 Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992 : proceedings International Workshop on Conditional (and Typed) Rewriting Systems, Rusinowitch, M. (Michael), Remy, J. L. Springer-Verlag	12 電子ブック Term rewriting and all that / Baader, Franz, Nipkow, Tobias

1

2

3

4

5

6

7

8

9

10

11

12