Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/s0304-3975(96)00325-8> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- s0304-3975(96)00325-8 doi "10.1016/S0304-397500325-8".
- s0304-3975(96)00325-8 first "Mads".
- s0304-3975(96)00325-8 isCitedBy Π-calculus.
- s0304-3975(96)00325-8 issue "183".
- s0304-3975(96)00325-8 journal "Theoretical Computer Science".
- s0304-3975(96)00325-8 last "Dam".
- s0304-3975(96)00325-8 pages "215–228".
- s0304-3975(96)00325-8 title "On the Decidability of Process Equivalences for the pi-Calculus".
- s0304-3975(96)00325-8 volume "183".
- s0304-3975(96)00325-8 year "1997".