Matches in DBpedia 2015-10 for { <http://doi.org/10.1006/inco.1995.1103> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- inco.1995.1103 author "O'Hearn, P. W. and Riecke, J. G".
- inco.1995.1103 doi "10.1006/inco.1995.1103".
- inco.1995.1103 isCitedBy Programming_Computable_Functions.
- inco.1995.1103 issue "1".
- inco.1995.1103 journal "Information and Computation".
- inco.1995.1103 pages "107–116".
- inco.1995.1103 title "Kripke Logical Relations and PCF".
- inco.1995.1103 volume "120".
- inco.1995.1103 year "1995".