output
20022015
most citedBiased bilayer graphene: semiconductor with a gap tunable by electric field effect

2k citations

researchers with a paper here
collaborating institutions
Showing 2003 · cs.PLShow all

1 paper · 2 filters

cs.PL2003★ 6 cited

On Applying Or-Parallelism and Tabling to Logic Programs

Ricardo Rocha, Fernando Silva, Vitor Santos Costa

The past years have seen widening efforts at increasing Prolog's declarativeness and expressiveness. Tabling has proved to be a viable technique to efficiently overcome SLD's susce…