non-uniform quantified constraint

click to vote

CORR
2008
Springer

89views Education» more CORR 2008»

Model Checking Positive Equality-free FO: Boolean Structures and Digraphs of Size Three

13 years 11 months ago

Download www.dur.ac.uk

We study the model checking problem, for fixed structures A, over positive equality-free first-order logic

Barnaby Martin

claim paper

Read More »

click to vote

CSL
2010
Springer

156views Automated Reasoning» more CSL 2010»

The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case

14 years 18 days ago

Download drops.dagstuhl.de

We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over fixed, finite structures B. This may be seen as a natural generalisation of th...

Barnaby Martin, Jos Martin

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers