A term matching algorithm and substitution generality

Kulaš, Marija GND

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:

Grafik öffnen

Rechte

Nutzung und Vervielfältigung:
Alle Rechte vorbehalten

Export

powered by MyCoRe