Matches in DBpedia 2015-10 for { <http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.32.3739&rep=rep1&type=ps> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- download?doi=10.1.1.32.3739&rep=rep1&type=ps author "Bachmair, Leo, Ganzinger, Harald, Waldmann, Uwe".
- download?doi=10.1.1.32.3739&rep=rep1&type=ps institution "Max-Planck-Institut für Informatik".
- download?doi=10.1.1.32.3739&rep=rep1&type=ps isCitedBy Set_constraint.
- download?doi=10.1.1.32.3739&rep=rep1&type=ps number "MPI-I-92-240".
- download?doi=10.1.1.32.3739&rep=rep1&type=ps pages "13".
- download?doi=10.1.1.32.3739&rep=rep1&type=ps title "Set Constraints are the Monadic Class".
- download?doi=10.1.1.32.3739&rep=rep1&type=ps url download?doi=10.1.1.32.3739&rep=rep1&type=ps.
- download?doi=10.1.1.32.3739&rep=rep1&type=ps year "1992".