Matches in DBpedia 2015-10 for { <http://doi.org/10.1006/inco.1994.1093> ?p ?o }
Showing triples 1 to 21 of
21
with 100 triples per page.
- inco.1994.1093 author2 Matthias_Felleisen.
- inco.1994.1093 authorlink2 "Matthias Felleisen".
- inco.1994.1093 doi "10.1006/inco.1994.1093".
- inco.1994.1093 first "Andrew K.".
- inco.1994.1093 first1 "Andrew K.".
- inco.1994.1093 first2 "Matthias".
- inco.1994.1093 isCitedBy Subject_reduction.
- inco.1994.1093 isCitedBy Type_safety.
- inco.1994.1093 issue "1".
- inco.1994.1093 journal Information_and_Computation.
- inco.1994.1093 journal "Information and Computation".
- inco.1994.1093 last "Wright".
- inco.1994.1093 last1 "Wright".
- inco.1994.1093 last2 "Felleisen".
- inco.1994.1093 pages "38–94".
- inco.1994.1093 pages "38–94".
- inco.1994.1093 title "A Syntactic Approach to Type Soundness".
- inco.1994.1093 url wright92syntactic.html.
- inco.1994.1093 url summary?doi=10.1.1.44.5122.
- inco.1994.1093 volume "115".
- inco.1994.1093 year "1994".