Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/0022-0000(78)90021-1> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- 0022-0000(78)90021-1 doi "10.1016/0022-000090021-1".
- 0022-0000(78)90021-1 first1 "Derek C.".
- 0022-0000(78)90021-1 format "PDF".
- 0022-0000(78)90021-1 isCitedBy Presburger_arithmetic.
- 0022-0000(78)90021-1 isCitedBy Recursive_language.
- 0022-0000(78)90021-1 issue "3".
- 0022-0000(78)90021-1 journal "J. Comput. Syst. Sci.".
- 0022-0000(78)90021-1 last1 "Oppen".
- 0022-0000(78)90021-1 pages "323–332".
- 0022-0000(78)90021-1 title "A 222pn Upper Bound on the Complexity of Presburger Arithmetic".
- 0022-0000(78)90021-1 url pdf?md5=0415089a2d692fcece18b43b5f63c67d&pid=1-s2.0-0022000078900211-main.pdf.
- 0022-0000(78)90021-1 volume "16".
- 0022-0000(78)90021-1 year "1978".