Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8–10, 1987 Proceedings [1 ed.] 3540192425, 9783540192428

The 1st International Workshop on Conditional Term Rewriting Systems took place in Orsay (University of Paris-Sud) in Ju

218 18 3MB

English Pages 284 [279] Year 1988

Table of contents :
Semantics for Prolog via term rewrite systems....Pages 3-14
Hierarchical contextual rewriting with several levels....Pages 15-30
Confluence of conditional rewrite systems....Pages 31-44
Solving goals in equational languages....Pages 45-55
On the use of conditional rewrite rules in inductive theorem proving....Pages 56-61
A completion procedure for conditional equations....Pages 62-83
A compiler for a class of conditional term rewriting systems....Pages 84-90
Notes on the elimination of conditions....Pages 91-97
Equational axiomatizations of if-then-else....Pages 98-110
Compiling conditional rewriting systems....Pages 111-128
Positive/negative conditional rewriting....Pages 129-143
On word problems in Horn theories....Pages 144-160
Conditional specifications with inequational assumptions....Pages 161-178
A logical analysis on theory of conditional rewriting....Pages 179-196
Computing with conditional rewrite rules....Pages 197-211
A logic for conditional term rewriting systems....Pages 212-227
Confluent term rewriting systems with membership conditions....Pages 228-241
TRSPEC: A term rewriting based system for algebraic specifications....Pages 245-248
CEC: A system for the completion of conditional equational specifications....Pages 249-250
Asspegique....Pages 251-252
REVEUR4: A laboratory for conditional rewriting....Pages 253-257
An introduction to OBJ 3....Pages 258-263
The Passau RAP system: Rapid prototyping for algebraic specifications....Pages 264-265
Architecture for conditional term rewriting....Pages 266-278

Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8–10, 1987 Proceedings [1 ed.]
3540192425, 9783540192428

Author / Uploaded
J. C. M. Baeten
W. P. Weijland (auth.)
S. Kaplan
J. -P. Jouannaud (eds.)

Similar Topics
Computers

0 0 0
Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up

Recommend Papers

Algorithmic term rewriting systems 9789086594429

123 114 590KB Read more

Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 Proceedings [1 ed.] 9783540172208, 3540172203

This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, &q

306 29 3MB Read more

Document Analysis Systems: 14th IAPR International Workshop, DAS 2020, Wuhan, China, July 26–29, 2020, Proceedings [1st ed.] 9783030570576, 9783030570583

This book constitutes the refereed proceedings of the 14th IAPR International Workshop on Document Analysis Systems, DAS

813 95 133MB Read more

Orders, Algorithms, and Applications: International Workshop ORDAL '94 Lyon, France, July 4–8, 1994 Proceedings [1 ed.] 3540582746, 9783540582748

This volume is the proceedings of the first International Workshop on Orders, Algorithms, and Applications, held at Lyon

277 61 2MB Read more

Combinatorial Image Analysis: 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020, Proceedings [1st ed.] 9783030510015, 9783030510022

This book constitutes the refereed proceedings of the 20th International Workshop on Combinatorial Image Analysis, IWCIA

401 11 24MB Read more

Combinatorial Algorithms: 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings [1st ed.] 9783030489656, 9783030489663

This book constitutes the proceedings of the 31st International Workshop on Combinatorial Algorithms which was planned t

351 105 17MB Read more

First International workshop on metacomputation in Russia: proceedings, Pereslavl-Zalessky, Russia, July 2-5, 2008 9785901795125

113 111 1MB Read more

IP Networking over Next-Generation Satellite Systems: International Workshop, Budapest, July 2007 [1 ed.] 067232945X

With the boom of Internet, IP-based applications, such as WWW and multimedia, bave been an essential part of our life, a

359 5 6MB Read more

Advanced Information Systems Engineering: 32nd International Conference, CAiSE 2020, Grenoble, France, June 8–12, 2020, Proceedings [1st ed.] 9783030494346, 9783030494353

This book constitutes the refereed proceedings of the 32nd International Conference on Advanced Information Systems Engi

468 26 40MB Read more

Intelligent Agents for Telecommunication Applications: Second International Workshop, IATA'98, Paris, France, July 4-7, 1998, Proceedings (Lecture Notes in Computer Science, 1437) [1998 ed.] 9783540647201, 3540647201

This book constitutes the refereed proceedings of the Second International Workshop on Intelligent Agents for Telecommun

102 39 5MB Read more