DE eng

Search in the Catalogues and Directories

Hits 1 – 6 of 6

1
Categorical Methods at the Crossroads (Dagstuhl Perspectives Workshop 14182)
Abramsky, Samson; Baez, John C.; Gadducci, Fabio. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014. : Dagstuhl Reports. Dagstuhl Reports, Volume 4, Issue 4, 2014
BASE
Show details
2
Ministry of University and Research project SisteR (PRIN 20088HXMYN).
In: http://perso.ens-lyon.fr/filippo.bonchi/papers/JAR11.pdf (2011)
BASE
Show details
3
Some Algebraic Laws for Spans (and Their Connections With Multi-Relations)
In: http://www.di.unipi.it/~bruni/publications/relmis2001.ps.gz (2001)
BASE
Show details
4
Modelling Calculi with Name Mobility using Graphs with Equivalences
In: http://rap.dsi.unifi.it/sensoria/files/176_1_005.pdf
BASE
Show details
5
Modelling Calculi with Name Mobility using Graphs with Equivalences
In: http://www.math.unipd.it/~baldan/Papers/Soft-copy-pdf/Termgraph07.pdf
BASE
Show details
6
Ministry of University and Research project SisteR (PRIN 20088HXMYN).
In: http://perso.ens-lyon.fr/filippo.bonchi/papers/JAR12.pdf
BASE
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
6
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern