Matches in DBpedia 2015-10 for { <http://doi.org/10.1145/1071596.1071601> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- 1071596.1071601 date "2005-07-03".
- 1071596.1071601 doi "10.1145/1071596.1071601".
- 1071596.1071601 first1 "Bernard".
- 1071596.1071601 isCitedBy Weak_Büchi_automaton.
- 1071596.1071601 issue "3".
- 1071596.1071601 journal "ACM Transactions on Computational Logic".
- 1071596.1071601 last1 "Boigelot".
- 1071596.1071601 pages "614–633".
- 1071596.1071601 title "An effective decision procedure for linear arithmetic over the integers and reals".
- 1071596.1071601 volume "6".