Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/512760.512775> ?p ?o }
Showing triples 1 to 7 of
7
with 100 triples per page.
- 512760.512775 author "G. Nelson and D. C. Oppen".
- 512760.512775 date "Apr 1978".
- 512760.512775 doi "10.1145/512760.512775".
- 512760.512775 isCitedBy Presburger_arithmetic.
- 512760.512775 journal "Proc. 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages".
- 512760.512775 pages "141–150".
- 512760.512775 title "A simplifier based on efficient decision algorithms".