DE eng

Search in the Catalogues and Directories

Hits 1 – 3 of 3

1
Symbolic equivalences for open systems
In: http://www.di.unipi.it/~bruni/publications/gc2004.pdf.gz (2005)
BASE
Show details
2
Modelling Calculi with Name Mobility using Graphs with Equivalences
In: http://rap.dsi.unifi.it/sensoria/files/176_1_005.pdf
BASE
Show details
3
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

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
3
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern