Title of article :
The 2 fragment of the first-order theory of atomic set constraints is Π01-hard
Author/Authors :
Jean-Marc Talbot، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2000
Pages :
7
From page :
27
To page :
33
Keywords :
Set constraints , Theory of computation
Journal title :
Information Processing Letters
Serial Year :
2000
Journal title :
Information Processing Letters
Record number :
129204
Link To Document :
بازگشت