Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/3-540-57785-8_128> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- 3-540-57785-8_128 date "1994".
- 3-540-57785-8_128 doi "10.1007/3-540-57785-8_128".
- 3-540-57785-8_128 first "Philippe".
- 3-540-57785-8_128 isCitedBy Structured_program_theorem.
- 3-540-57785-8_128 isbn "978-3-540-57785-0".
- 3-540-57785-8_128 journal "Lecture Notes in Computer Science".
- 3-540-57785-8_128 last "Devienne".
- 3-540-57785-8_128 pages "19–32".
- 3-540-57785-8_128 series "Lecture Notes in Computer Science".
- 3-540-57785-8_128 title "One binary horn clause is enough".
- 3-540-57785-8_128 volume "775".