A Term Rewriting Scheme for Function Symbols with Variable Arity

Vorschau

Zitieren

Zitierform:

Widera, Manfred / Beierle, Christoph: A Term Rewriting Scheme for Function Symbols with Variable Arity. Hagen 2001. FernUniversität in Hagen.

Zugriffsstatistik

Gesamt

Volltextzugriffe:
Metadatenansicht:

12 Monate

Volltextzugriffe:
Metadatenansicht:

Rechte

Nutzung und Vervielfältigung:
Alle Rechte vorbehalten

Export

powered by MyCoRe