Matches in DBpedia 2016-04 for { <http://doi.org/10.2168/lmcs-4(4:11)2008> ?p ?o }
Showing triples 1 to 23 of
23
with 100 triples per page.
- lmcs-4(4:11)2008 doi "10.2168/LMCS-42008".
- lmcs-4(4:11)2008 editor1First "Erich".
- lmcs-4(4:11)2008 editor1Last "Grädel".
- lmcs-4(4:11)2008 first1 "R.".
- lmcs-4(4:11)2008 first2 "M.".
- lmcs-4(4:11)2008 first3 "P.".
- lmcs-4(4:11)2008 first4 "K.".
- lmcs-4(4:11)2008 first5 "N.".
- lmcs-4(4:11)2008 first6 "L.".
- lmcs-4(4:11)2008 isCitedBy Nested_word.
- lmcs-4(4:11)2008 issue "4".
- lmcs-4(4:11)2008 journal "Logical Methods in Computer Science".
- lmcs-4(4:11)2008 last1 "Alur".
- lmcs-4(4:11)2008 last2 "Arenas".
- lmcs-4(4:11)2008 last3 "Barcelo".
- lmcs-4(4:11)2008 last4 "Etessami".
- lmcs-4(4:11)2008 last5 "Immerman".
- lmcs-4(4:11)2008 last6 "Libkin".
- lmcs-4(4:11)2008 ref "harv".
- lmcs-4(4:11)2008 title "First-Order and Temporal Logics for Nested Words".
- lmcs-4(4:11)2008 url "http://arxiv.org/pdf/0811.0537".
- lmcs-4(4:11)2008 volume "4".
- lmcs-4(4:11)2008 year "2008".