مرکز منطقه ای اطلاع رساني علوم و فناوري - An undecidable fragment of the theory of set constraints

Title of article :

An undecidable fragment of the theory of set constraints

Author/Authors :

Witold Charatonik، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 1998

Pages :

From page :

147

To page :

151

Keywords :

Set constraints , First-order theory , Theory of computation

Journal title :

Information Processing Letters

Serial Year :

1998

Journal title :

Information Processing Letters

Record number :

128979

Link To Document :