-
Valiant LG (1984) Show
Other
-
Browne A, Sun R (2001) Show
Other
-
Ajjanagadde V (1997) Show
Other
-
Broda K, Gabbay DM, Lamb LC, Russo A (2004) Show
Other
-
Brzoska C (1991) Show
Other
-
Chagrov A, Zakharyaschev M (1997) Show
Other
-
Cloete I, Zurada JM (2000) Show
Other
-
dAvila_Garcez AS, Broda K, Gabbay DM (2001) Show
Other
-
dAvila_Garcez AS, Broda K, Gabbay DM (2002) Show
Other
-
dAvila_Garcez AS, Lamb LC (2004) Show
Other
-
dAvila_Garcez AS, Lamb LC, Broda K, Gabbay DM (2003) Show
Other
-
dAvila_Garcez AS, Lamb LC, Broda K, Gabbay DM (2004) Show
Other
-
dAvila_Garcez AS, Lamb LC, Gabbay DM (2002) Show
Other
-
dAvila_Garcez AS, Zaverucha G (1999) Show
Other
-
Fagin R, Halpern J, Moses Y, Vardi M (1995) Show
Other
-
Farinas_del_Cerro L, Herzig A (1995) Show
Other
-
Gabbay DM (1996) Show
Other
-
Gabbay DM, Hodkinson I, Reynolds M (1994) Show
Other
-
Gabbay D, Kurucz A, Wolter F, Zakharyaschev M (2003) Show
Other
-
Gelfond M, Lifschitz V (1991) Show
Other
-
Halpern JY, van_der_Meyden R, Vardi MY (2004) Show
Other
-
Hintikka J (1962) Show
Other
-
Orgun MA, Ma W (1994) Show
Other
-
Orgun MA, Wadge WW (1992) Show
Other
-
Orgun MA, Wadge WW (1994) Show
Other
-
Pnueli A (1977) Show
Other
-
Rao AS, Georgeff MP (1998) Show
Other
-
Shastri L (1999) Show
Other
-
Sun R (1995) Show
Other
-
Sun R, Alexandre F (1997) Show
Other
-
Towell GG, Shavlik JW (1994) Show
Other
-
Valiant LG (2003) Show
Other
-
Vardi MY (1997) Show
Other
-
Rumelhart DE, Hinton GE, Williams RJ (1986) Show
Other
|