Matches in DBpedia 2015-10 for { <http://doi.org/10.1016/0304-3975(87)90045-4> ?p ?o }
Showing triples 1 to 16 of
16
with 100 triples per page.
- 0304-3975(87)90045-4 authorlink "J.-Y. Girard".
- 0304-3975(87)90045-4 doi "10.1016/0304-397590045-4".
- 0304-3975(87)90045-4 first "J.-Y".
- 0304-3975(87)90045-4 first "J.-Y.".
- 0304-3975(87)90045-4 isCitedBy Chu_space.
- 0304-3975(87)90045-4 isCitedBy List_of_important_publications_in_theoretical_computer_science.
- 0304-3975(87)90045-4 issue "1".
- 0304-3975(87)90045-4 journal "Theoretical Computer Science".
- 0304-3975(87)90045-4 last "Girard".
- 0304-3975(87)90045-4 pages "1–102".
- 0304-3975(87)90045-4 publisher "London Mathematical Society".
- 0304-3975(87)90045-4 title "Linear Logic".
- 0304-3975(87)90045-4 title "Linear logic".
- 0304-3975(87)90045-4 url "http://iml.univ-mrs.fr/~girard/linear.pdf".
- 0304-3975(87)90045-4 volume "50".
- 0304-3975(87)90045-4 year "1987".