Category theory and computer science 7th international conference, CTCS '97, Santa Margherita Ligure, Italy, September 4 - 6, 1997 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Berlin u.a.
Springer
1997
|
| Schriftenreihe: | Lecture notes in computer science
1290 |
| Schlagworte: |
Categorieën (wiskunde)
> Catégories (mathématiques) - Congrès
> Computers
> Informatique - Mathématiques - Congrès
> réécriture
> théorie catégorie
> Informatik
> Mathematik
> Computer science -- Mathematics -- Congresses
> Categories (Mathematics) -- Congresses
> Theoretische Informatik
> Kategorientheorie
> Konferenzschrift
|
| Online Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | 313 S. graph. Darst. |
|---|---|
| ISBN: | 354063455X 3-540-63455-X |