Matches in DBpedia 2015-10 for { <http://doi.org/10.1016/s0019-9958(73)90301-x> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- s0019-9958(73)90301-x author "Gérard P. Huet".
- s0019-9958(73)90301-x doi "10.1016/s0019-995890301-x".
- s0019-9958(73)90301-x isCitedBy Gérard_Huet.
- s0019-9958(73)90301-x journal "Information and Control".
- s0019-9958(73)90301-x pages "257–267".
- s0019-9958(73)90301-x title "The Undecidability of Unification in Third Order Logic".
- s0019-9958(73)90301-x url "http://www.sciencedirect.com/science/article/pii/S001999587390301X/pdf?md5=0833289609c3d777bdec01d5d6ced2aa&pid=1-s2.0-S001999587390301X-main.pdf".
- s0019-9958(73)90301-x volume "22".
- s0019-9958(73)90301-x year "1973".