Conditional term rewriting systems. 1st international workshop. Orsay, France, July 8--10, 1987. Proceedings (Q1210789)

From MaRDI portal
Revision as of 02:33, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Conditional term rewriting systems. 1st international workshop. Orsay, France, July 8--10, 1987. Proceedings
scientific article

    Statements

    Conditional term rewriting systems. 1st international workshop. Orsay, France, July 8--10, 1987. Proceedings (English)
    0 references
    5 June 1993
    0 references
    The articles of this volume will be reviewed individually.
    0 references
    Rewriting systems
    0 references
    Proceedings
    0 references
    Workshop
    0 references
    Orsay (France)
    0 references

    Identifiers