Sciweavers

TCS
2002
14 years 26 days ago
Logical systems for structured specifications
We study proof systems for reasoning about logical consequences and refinement of structured specifications, based on similar systems proposed earlier in the literature [ST 88, Wi...
Tomasz Borzyszkowski
FLAIRS
2006
14 years 2 months ago
Automated Generation of Interesting Theorems
In the logical theory of a set of axioms there are many boring logical consequences, and scattered among them there are a few interesting ones. The few interesting ones include th...
Yury Puzis, Yi Gao, Geoff Sutcliffe