Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/0022-0000(85)90001-7> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- 0022-0000(85)90001-7 author "Emerson, E. A. and Halpern, J. Y.".
- 0022-0000(85)90001-7 doi "10.1016/0022-000090001-7".
- 0022-0000(85)90001-7 isCitedBy Computation_tree_logic.
- 0022-0000(85)90001-7 isCitedBy Fair_computational_tree_logic.
- 0022-0000(85)90001-7 issue "1".
- 0022-0000(85)90001-7 journal "Journal of Computer and System Sciences".
- 0022-0000(85)90001-7 pages "1–24".
- 0022-0000(85)90001-7 title "Decision procedures and expressiveness in the temporal logic of branching time".
- 0022-0000(85)90001-7 volume "30".
- 0022-0000(85)90001-7 year "1985".