On Notions of Inductive Validity for First-Oder Equational Clauses

@inproceedings{Wirth1994OnNO,
  title={On Notions of Inductive Validity for First-Oder Equational Clauses},
  author={Claus-Peter Wirth and Bernhard Gramlich},
  booktitle={CADE},
  year={1994}
}
We define and discuss various conceivable notions of inductive validity for first-order equational clauses. This is done within the framework of constructor-based positive/negative conditional equational specifications which permits to treat negation and incomplete function definitions in an adequate and natural fashion. Moreover, we show that under some reasonable assumptions all these notions are monotonic w. r. t. consistent extension, in contrast to the case of inductive validity for… CONTINUE READING
Highly Cited
This paper has 32 citations. REVIEW CITATIONS

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
20 Extracted Citations
27 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 27 references

A constructorbased approach for positive / negativeconditional equational speci cations

  • B. Gramlich. C. - P. Wirth
  • Proc . of 3 rd CTRS , LNCS
  • 1994

Jouannaud . Rewrite systems

  • J. - P. N. Dershowitz
  • 1993

Prote . Constructorbased inductive validityin positive / negativeconditional equational speci cations

  • H. U. K uhler
  • 1993

Conditional rewriting modulo a built-in algebra. SEKI-Report SR–92–11

  • J. Avenhaus, K. Becker
  • FB Informatik, Univ. Kaiserslautern,
  • 1992

Similar Papers

Loading similar papers…