CiteSeer.IST Home
Check:
The following citations are predicted to all refer to the same paper.
Details
S. Abiteboul and V. Vianu.
Computing with firstorder logic
. J. of Computer and System Sciences, 50(2):309--335, 1995.
S. Abiteboul and V. Vianu,
Computing with first-order logic
, Journal of Computer and System Sciences 50 (1995), no. 2, 309--335. 28 VICTOR VIANU
S. Abiteboul and V. Vianu.
Computing with first-order logic
. Journal of Computer and System Sciences, 50:309--335, 1995.
S. Abiteboul and V. Vianu.
Computing with firstorder logic
. Journal of Computer and System Sciences, 50(2):309--335, 1995.
Abiteboul, S., V. Vianu,
Computing with first-order logic
, to appear in J. Computer and System Sciences.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. To appear in Journal of Computer and System Sciences.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. Journal of Computer and System Sciences, 50(2):309--335, April 1995.
S. Abiteboul, V. Vianu.
Computing with first-order logic
. JCSS 50 (1995), 309--335.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. Journal of Computer and System Sciences, 50(2):309-- 335, April 1995.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. Journal of Computer and System Sciences, 1995. To appear.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. To appear in JCSS.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. Journal of Computer and System Sciences, 50(2):309--335, 1995.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. Journal of Computer and System Sciences, 1995. To appear.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. Journal of Computer and System Sciences 50:309--335, 1995.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. Journal of Computer and System Sciences, 50(2):309--335, 1995.
S. Abiteboul and V. Vianu,
Computing with First-Order Logic
, Journal of Computer and System Sciences 50 (1995),pp 309--335.
S. Abiteboul and V. Vianu, "
Computing with First-order Logic
", J. Comput. Syst. Sci. 50 (1995), 309--335.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. Journal of Computer and System Sciences, 50(2):309--335, 1995.
S. Abiteboul and V. Vianu.
Computing with First-Order Logic
. J. of Computer and System Sciences, 50:2, 309-335, 1995.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. to appear in Journal of Computer and System Sciences, 1992.
S. Abiteboul and V. Vianu.
Computing with firstorder logic
. Journal of Computer and System Sciences 50:309--335, 1995.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. J. Comp. Sys. Sci., 50:309--335, 1995.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. Journal of Computer and System Sciences, 50:309--335, 1995.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. Journal of Computer and System Sciences, 50(2), pages 309--335, 1995.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. Journal of Computer and System Sciences 50(2):309--335, 1995.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. Journal of Computer and System Sciences, 50(2):309--335, 1995.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. Journal of Computer and System Sciences, 50:309--335, 1995.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. Journal of Computer and System Sciences, 50:309--335, 1995.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. Journal of Computer and System Sciences 50 (1995), 309--335.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. Journal of Computer and System Sciences 50 (1995), 309--335.
S. Abiteboul and V. Vianu.
Computing with firstorder logic
. JCSS 50 (1995), 309--335.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. Journal of Computer and System Sciences 50 (1995), 309--335.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. JCSS 50 (1995), 309--335.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. to appear in Journal of Computer and System Sciences, 1992.
Abiteboul, S., V. Vianu,
Computing with first-order logic
, to appear in J. Computer and System Sciences.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. To appear in Journal of Computer and System Sciences.
S. Abiteboul and V. Vianu,
Computing with first-order logic
, J. of Computer and System Sciences, 50(2):309--335, 1995.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. Journal of Computer and System Sciences 50 (1995), 309--335.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. Journal of Computer and System Sciences, 50:309--335, 1995.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. Journal of Computer and System Sciences 50 (1995), 309--335.
S. Abiteboul and V. Vianu.
Computing with First-Order Logic
. J. of Computer and System Sciences, 50:2, 309-335, 1995.
S. Abiteboul, V. Vianu.
Computing with first-order logic
. JCSS 50 (1995), 309--335.
S. Abiteboul and V. Vianu.
Computing with first-order logic
. Journal of Computer and System Sciences 50 (1995), 309--335.
CiteSeer.IST - Copyright
Penn State
and
NEC