Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/s0304-3975(00)00285-1> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- s0304-3975(00)00285-1 doi "10.1016/S0304-397500285-1".
- s0304-3975(00)00285-1 first1 "Géraud".
- s0304-3975(00)00285-1 isCitedBy Gödel_Prize.
- s0304-3975(00)00285-1 issn "0304-3975".
- s0304-3975(00)00285-1 issue "1".
- s0304-3975(00)00285-1 journal "Theor. Comput. Sci.".
- s0304-3975(00)00285-1 last1 "Sénizergues".
- s0304-3975(00)00285-1 location "Essex, UK".
- s0304-3975(00)00285-1 pages "1–166".
- s0304-3975(00)00285-1 publisher "Elsevier Science Publishers Ltd.".
- s0304-3975(00)00285-1 title "L = L? decidability results from complete formal systems".
- s0304-3975(00)00285-1 volume "251".
- s0304-3975(00)00285-1 year "2001".