AAAAAA

   
Results: 1-8 |
Results: 8
A general framework for automatic termination analysis of logic programs
Authors: Dershowitz, N Lindenstrauss, N Sagiv, Y Serebrenik, A
Citation: N. Dershowitz et al., A general framework for automatic termination analysis of logic programs, APPL ALG EN, 12(1-2), 2001, pp. 117-156
GATE-16, a membrane transport modulator, interacts with NSF and the Golgi v-SNARE GOS-28
Authors: Sagiv, Y Legesse-Miller, A Porat, A Elazar, Z
Citation: Y. Sagiv et al., GATE-16, a membrane transport modulator, interacts with NSF and the Golgi v-SNARE GOS-28, EMBO J, 19(7), 2000, pp. 1494-1504
Aut7p, a soluble autophagic factor, participates in multiple membrane trafficking processes
Authors: Legesse-Miller, A Sagiv, Y Glozman, R Elazar, Z
Citation: A. Legesse-miller et al., Aut7p, a soluble autophagic factor, participates in multiple membrane trafficking processes, J BIOL CHEM, 275(42), 2000, pp. 32966-32973
A 56-kDa selenium-binding protein participates in intra-Golgi protein transport
Authors: Porat, A Sagiv, Y Elazar, Z
Citation: A. Porat et al., A 56-kDa selenium-binding protein participates in intra-Golgi protein transport, J BIOL CHEM, 275(19), 2000, pp. 14457-14465
Inference of monotonicity constraints in Datalog programs
Authors: Brodsky, A Sagiv, Y
Citation: A. Brodsky et Y. Sagiv, Inference of monotonicity constraints in Datalog programs, ANN MATH A, 26(1-4), 1999, pp. 29-57
Answering queries using views
Authors: Levy, AY Mendelzon, AO Sagiv, Y Srivastava, D
Citation: Ay. Levy et al., Answering queries using views, MATERIALIZED VIEWS, 1999, pp. 93-106
Queries independent of updates
Authors: Levy, AY Sagiv, Y
Citation: Ay. Levy et Y. Sagiv, Queries independent of updates, MATERIALIZED VIEWS, 1999, pp. 323-338
Utilizing the multiple facets of WWW contents
Authors: Kogan, Y Michaeli, D Sagiv, Y Shmueli, O
Citation: Y. Kogan et al., Utilizing the multiple facets of WWW contents, DATA KN ENG, 28(3), 1998, pp. 255-275
Risultati: 1-8 |