Conditional term rewriting systems : 1st international workshop, Orsay, France, July 8-10, 1987 : proceedings
The 1st International Workshop on Conditional Term Rewriting Systems took place in Orsay (University of Paris-Sud) in July 1987, and brought together most of the researchers involved in the field. Conditional rewriting has actually known important breakthroughs during the last two years; it was the...
Enregistré dans:
| Collectivité auteur: | |
|---|---|
| Autres auteurs: | , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
308 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Conditional term rewriting systems, 1st international workshop, Orsay, France, July 8-10, 1987, proceedings, S. Kaplan, J.-P. Jouannaud (eds.), Berlin, Springer-Verlag, 1988, 1 vol. (VI-278 p.), Lecture notes in computer science, 3-540-19242-5 • Conditional Term Rewriting Systems, Texte imprimé, 9783662175705 |
Table des matières:
- Semantics for Prolog via term rewrite systems
- 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
- TRSPEC: A term rewriting based system for algebraic specifications
- CEC: A system for the completion of conditional equational specifications
- Asspegique
- REVEUR4: A laboratory for conditional rewriting
- An introduction to OBJ 3
- The Passau RAP system: Rapid prototyping for algebraic specifications
- Architecture for conditional term rewriting.