Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/3828.3837> ?p ?o }
Showing triples 1 to 7 of
7
with 100 triples per page.
- 3828.3837 author "A.P.Sistla and Edmund M. Clarke".
- 3828.3837 doi "10.1145/3828.3837".
- 3828.3837 isCitedBy List_of_PSPACE-complete_problems.
- 3828.3837 journal "Journal of the ACM".
- 3828.3837 title "The complexity of propositional linear temporal logics".
- 3828.3837 volume "32".
- 3828.3837 year "1985".