Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-540-45069-6_7> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- 978-3-540-45069-6_7 contribution "Fast mu-calculus model checking when tree-width is bounded".
- 978-3-540-45069-6_7 doi "10.1007/978-3-540-45069-6_7".
- 978-3-540-45069-6_7 first "Jan".
- 978-3-540-45069-6_7 isCitedBy Courcelles_theorem.
- 978-3-540-45069-6_7 last "Obdržálek".
- 978-3-540-45069-6_7 pages "80–92".
- 978-3-540-45069-6_7 series "Lecture Notes in Computer Science".
- 978-3-540-45069-6_7 title "--07-08".
- 978-3-540-45069-6_7 volume "2725".
- 978-3-540-45069-6_7 year "2003".