Verfasser Suchresultate :: Subito Katalog

1

A natural data type with a finite equational final semantics specification but no effective equational initial semantics specification

von Bergstra, J.A.
Veröffentlicht 1980

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Top-down design and the algebra of communicating processes

von Bergstra, J.A.
Veröffentlicht 1984

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

On bounds for the specification of finite data types by means of equations and conditional equations

von Bergstra, J.A.
Veröffentlicht 1980

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: