Title of article
Tarskian Set Constraints
Author/Authors
Robert Givan، نويسنده , , David McAllester، نويسنده , , Carl Witty، نويسنده , , Dexter Kozen، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
27
From page
105
To page
131
Keywords
Decision procedures , Set constraints , Dynamic logic , mu-calculus.
Journal title
Information and Computation
Serial Year
2002
Journal title
Information and Computation
Record number
262045
Link To Document