Modeling Interaction by Sheaves and Geometric Logic.
FCT. 1999 S. 512 - 523
Erscheinungsjahr: 1999
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/3-540-48321-7_43
Geprüft | Bibliothek |
FCT. 1999 S. 512 - 523
Erscheinungsjahr: 1999
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/3-540-48321-7_43
Geprüft | Bibliothek |