Verfasser Suchresultate :: Subito Katalog

1

LNCA: a lazy narrowing calculus for applicative term rewriting systems

Veröffentlicht 1999

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Refinements of lazy narrowing for left-linear fully-extended pattern rewrite systems

von Marin, Mircea
Veröffentlicht 2001

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

A Rule-Based System for Computation and Deduction in Mathematica

von Marin, Mircea
Veröffentlicht in WRLA (13. : 2020 : Online) Rewriting logic and its applications (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: