Browsing by Subject Coinduction (Mathematics)
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2015 | The graph signature : a scalable query optimization index for RDF graph databases using bisimulation and trace equivalence summarization | Jarrar, Mustafa; Deik, Anton |