Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/0304-3975(79)90006-9> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- 0304-3975(79)90006-9 doi "10.1016/0304-397590006-9".
- 0304-3975(79)90006-9 first1 "R.".
- 0304-3975(79)90006-9 isCitedBy Heyting_algebra.
- 0304-3975(79)90006-9 journal "Theoretical Comput. Sci.".
- 0304-3975(79)90006-9 last1 "Statman".
- 0304-3975(79)90006-9 pages "67–72".
- 0304-3975(79)90006-9 title "Intuitionistic propositional logic is polynomial-space complete".
- 0304-3975(79)90006-9 volume "9".
- 0304-3975(79)90006-9 year "1979".