Title of article

An undecidable fragment of the theory of set constraints

Author/Authors

Witold Charatonik، نويسنده ,

Issue Information

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

Pages

5

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