A term matching algorithm and substitution generality

Kulaš, Marija

We revisit a simple non-deterministic algorithm for term matching given in (Klop and de Vrijer et al. 2003) and employ it for deciding substitution generality (and thus equivalence), using a witness term technique. The technique alleviates the need for ad-hoc proofs involving generality of substitutions.

Vorschau

Zitieren

Zitierform:

Kulaš, Marija: A term matching algorithm and substitution generality. Hagen 2017. FernUniversität in Hagen.

Zugriffsstatistik

Gesamt

Volltextzugriffe:
Metadatenansicht:

12 Monate

Volltextzugriffe:
Metadatenansicht:

Rechte

Nutzung und Vervielfältigung:
Alle Rechte vorbehalten

Export

powered by MyCoRe