Title of article :
On the complexity of the two-variable guarded fragment with transitive guards
Author/Authors :
Emanuel Kiero?ski، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
Keywords :
Guarded fragment , Transitivity , computational complexity , Satisfiability , First order logic
Journal title :
Information and Computation
Journal title :
Information and Computation
