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:

Grafik öffnen

Rechte

Nutzung und Vervielfältigung:
Alle Rechte vorbehalten

Export

powered by MyCoRe