output
20042013
most citedElectronic structure of silicon-based nanostructures

1k citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2008★ 1 cited

Logical Queries over Views: Decidability and Expressiveness

James Bailey, Guozhu Dong, Anthony Widjaja To

We study the problem of deciding satisfiability of first order logic queries over views, our aim being to delimit the boundary between the decidable and the undecidable fragments o…