Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/s0747-7171(89)80054-9> ?p ?o }
Showing triples 1 to 16 of
16
with 100 triples per page.
- s0747-7171(89)80054-9 author "A. Boudet and J.P. Jouannaud and M. Schmidt-Schauß".
- s0747-7171(89)80054-9 author "A. Boudet, J.-P. Jouannaud, M. Schmidt-Schauß".
- s0747-7171(89)80054-9 author "A. Boudet, J.P. Jouannaud, M. Schmidt-Schauß".
- s0747-7171(89)80054-9 doi "10.1016/s0747-717180054-9".
- s0747-7171(89)80054-9 isCitedBy Boolean_algebra_(structure).
- s0747-7171(89)80054-9 isCitedBy Boolean_ring.
- s0747-7171(89)80054-9 isCitedBy Jean-Pierre_Jouannaud.
- s0747-7171(89)80054-9 isCitedBy Unification_(computer_science).
- s0747-7171(89)80054-9 journal "Journal of Symbolic Computation".
- s0747-7171(89)80054-9 pages "449–477".
- s0747-7171(89)80054-9 title "Unification in Boolean Rings and Abelian Groups".
- s0747-7171(89)80054-9 title "Unification of Boolean Rings and Abelian Groups".
- s0747-7171(89)80054-9 url "http://www.sciencedirect.com/science/article/pii/S0747717189800549/pdf?md5=713ed362e4b6f2db53923cc5ed47c818&pid=1-s2.0-S0747717189800549-main.pdf".
- s0747-7171(89)80054-9 url pdf?md5=713ed362e4b6f2db53923cc5ed47c818&pid=1-s2.0-S0747717189800549-main.pdf.
- s0747-7171(89)80054-9 volume "8".
- s0747-7171(89)80054-9 year "1989".