There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 18

Record: found
Abstract: not found
Book Chapter: not found

Equations and Rewrite Rules: A Survey

Gérard Huet, Derek Oppen (1980)

0 comments Cited 29 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Complete Sets of Reductions for Some Equational Theories

Mark Stickel, Gerald Peterson (1981)

0 comments Cited 27 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Completion of a Set of Rules Modulo a Set of Equations

Hélène Kirchner, Jean-Pierre Jouannaud (1986)

0 comments Cited 25 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1988

Publication date (Online): May 31 2005

Pages: 287-301

DOI: 10.1007/3-540-19488-6_123

SO-VID: 2a2bc4fb-ea4b-4254-b68f-953da5470284

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 10

Specification and proof in membership equational logic
Authors: Adel Bouhoula, José Meseguer, Jean-Pierre Jouannaud
Operational semantics of OBJ-3
Authors: Claude Kirchner, Hélène Kirchner, José Meseguer
An introduction to OBJ 3
Authors: Joseph Goguen, Claude Kirchner, Hélène Kirchner …

See all cited by

Operational semantics of OBJ-3

Read this book at

Related collections

SDG 3: Good Health and Well-Being

Most cited references 18

Equations and Rewrite Rules: A Survey

Complete Sets of Reductions for Some Equational Theories

Completion of a Set of Rules Modulo a Set of Equations

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,687

Cited by 10