Eintrag weiter verarbeiten
Buchumschlag von Conditional and Typed Rewriting Systems: Coherence for cartesian closed categories: A sequential approach
Verfügbar über Online-Ressource

Conditional and Typed Rewriting Systems: Coherence for cartesian closed categories: A sequential approach

Gespeichert in:

Bibliographische Detailangaben
Zeitschriftentitel: Conditional and Typed Rewriting Systems
Personen und Körperschaften: Mori, Akira, Matsumoto, Yoshihiro
In: Conditional and Typed Rewriting Systems, 1995, S. 276-295
Medientyp: E-Book-Kapitel
Sprache: Unbestimmt
veröffentlicht:
Springer Berlin Heidelberg