مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

Tarskian Set Constraints

Author/Authors :

Robert Givan، نويسنده , , David McAllester، نويسنده , , Carl Witty، نويسنده , , Dexter Kozen، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2002

Pages :

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 :