Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/s0019-9958(73)90301-x> ?p ?o }
Showing triples 1 to 17 of
17
with 100 triples per page.
- s0019-9958(73)90301-x author "Gérard P. Huet".
- s0019-9958(73)90301-x date "1973".
- s0019-9958(73)90301-x doi "10.1016/S0019-995890301-X".
- s0019-9958(73)90301-x doi "10.1016/s0019-995890301-x".
- s0019-9958(73)90301-x first "Gérard P.".
- s0019-9958(73)90301-x format "PDF".
- s0019-9958(73)90301-x isCitedBy Gérard_Huet.
- s0019-9958(73)90301-x isCitedBy Higher-order_logic.
- s0019-9958(73)90301-x isCitedBy Unification_(computer_science).
- s0019-9958(73)90301-x journal "Information and Control".
- s0019-9958(73)90301-x last "Huet".
- 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 url pdf?md5=0833289609c3d777bdec01d5d6ced2aa&pid=1-s2.0-S001999587390301X-main.pdf.
- s0019-9958(73)90301-x volume "22".
- s0019-9958(73)90301-x year "1973".