AAAAAA
Results:
1-10
|
Results: 10
Authors:
Blass, A
Gurevich, Y
Shelah, S
Citation: A. Blass et al., Choiceless polynomial time (vol 100, pg 141, 1999), ANN PUR APP, 112(1), 2001, pp. 117-117
Authors:
Gurevich, Y
Lopez, A
French, C
Citation: Y. Gurevich et al., Following feedwater flow, NUCL ENG IN, 46(564), 2001, pp. 36-37
Authors:
Eiter, T
Gottlob, G
Gurevich, Y
Citation: T. Eiter et al., Existential second-order logic over strings, J ACM, 47(1), 2000, pp. 77-131
Authors:
Degtyarev, A
Gurevich, Y
Narendran, P
Veanes, M
Voronkov, A
Citation: A. Degtyarev et al., Decidability and complexity of simultaneous rigid E-unification with one variable and related results, THEOR COMP, 243(1-2), 2000, pp. 167-184
Authors:
Greenberg, S
Yehezkel, R
Gurevich, Y
Guterman, H
Citation: S. Greenberg et al., NLEBS: Automatic target detection using a unique nonlinear-enhancement-based system in IR images, OPT ENG, 39(5), 2000, pp. 1369-1376
Authors:
Blass, A
Gurevich, Y
Citation: A. Blass et Y. Gurevich, The logic of choice, J SYMB LOG, 65(3), 2000, pp. 1264-1310
Authors:
Gurevich, Y
Rabinovich, A
Citation: Y. Gurevich et A. Rabinovich, Definability and undefinability with real order at the background, J SYMB LOG, 65(2), 2000, pp. 946-958
Authors:
Gurevich, Y
Veanes, M
Citation: Y. Gurevich et M. Veanes, Logic with equality: Partisan corroboration and shifted pairing, INF COMPUT, 152(2), 1999, pp. 205-235
Authors:
Gurevich, Y
Voronkov, A
Citation: Y. Gurevich et A. Voronkov, Monadic simultaneous rigid E-unification, THEOR COMP, 222(1-2), 1999, pp. 133-152
Authors:
Blass, A
Gurevich, Y
Shelah, S
Citation: A. Blass et al., Choiceless polynomial time, ANN PUR APP, 100(1-3), 1999, pp. 141-187
Risultati:
1-10
|