gefundene Verfasser Rydeheard, David E

1. 1
   

   Computational category theory von Rydeheard, David E., Burstall, Rod M.

   Veröffentlicht 1988

   Signatur: Wird geladen …
   Standort: Wird geladen …

   Buch Wird geladen …

   In die Zwischenablage Aus der Zwischenablage entfernen
   Zu den Favoriten
   

   Gespeichert in:
2. 2
   

   The unification of terms a category-theoretic algorithm von Rydeheard, David E., Burstall, Rod M.

   Veröffentlicht 1985

   Signatur: Wird geladen …
   Standort: Wird geladen …

   Buch Wird geladen …

   In die Zwischenablage Aus der Zwischenablage entfernen
   Zu den Favoriten
   

   Gespeichert in:
3. 3
   

   Applications of category theory to programming and program specification von Rydeheard, David E.

   Veröffentlicht 1982

   Signatur: Wird geladen …
   Standort: Wird geladen …

   Buch Wird geladen …

   In die Zwischenablage Aus der Zwischenablage entfernen
   Zu den Favoriten
   

   Gespeichert in: