Verfasser Suchresultate :: Subito Katalog

1

Analysing Parallel Complexity of Term Rewriting

von Baudon, Thais
Veröffentlicht in LOPSTR (32. : 2022 : Tiflis) Logic-based program synthesis and transformation (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: