Catalogo Articoli (Spogli Riviste)

HELP
ATTENZIONE: attualmente gli articoli Current Contents (fonte ISI) a partire dall'anno 2002 sono consultabili sulla Risorsa On-Line

Le informazioni sugli articoli di fonte ISI sono coperte da copyright

La ricerca find articoli where authors phrase all words ' Gurevich, Y' sort by level,fasc_key/DESCEND, pagina_ini_num/ASCEND ha restituito 24 riferimenti
Selezionare un intervallo

Per ulteriori informazioni selezionare i riferimenti di interesse.

    1. Blass, A; Gurevich, Y; Shelah, S
      Choiceless polynomial time (vol 100, pg 141, 1999)

      ANNALS OF PURE AND APPLIED LOGIC
    2. Gurevich, Y; Lopez, A; French, C
      Following feedwater flow

      NUCLEAR ENGINEERING INTERNATIONAL
    3. Simchen, E; Galai, N; Braun, D; Zitser-Gurevich, Y; Shabtai, E; Naveh, I
      Sociodemographic and clinical factors associated with low quality of life one year after coronary bypass operations: The Israeli Coronary Artery Bypass Study (ISCAB)

      JOURNAL OF THORACIC AND CARDIOVASCULAR SURGERY
    4. Degtyarev, A; Gurevich, Y; Narendran, P; Veanes, M; Voronkov, A
      Decidability and complexity of simultaneous rigid E-unification with one variable and related results

      THEORETICAL COMPUTER SCIENCE
    5. Greenberg, S; Yehezkel, R; Gurevich, Y; Guterman, H
      NLEBS: Automatic target detection using a unique nonlinear-enhancement-based system in IR images

      OPTICAL ENGINEERING
    6. Blass, A; Gurevich, Y
      The logic of choice

      JOURNAL OF SYMBOLIC LOGIC
    7. Gurevich, Y; Rabinovich, A
      Definability and undefinability with real order at the background

      JOURNAL OF SYMBOLIC LOGIC
    8. Eiter, T; Gottlob, G; Gurevich, Y
      Existential second-order logic over strings

      JOURNAL OF THE ACM
    9. Gurevich, Y; Veanes, M
      Logic with equality: Partisan corroboration and shifted pairing

      INFORMATION AND COMPUTATION
    10. Gurevich, Y; Voronkov, A
      Monadic simultaneous rigid E-unification

      THEORETICAL COMPUTER SCIENCE
    11. Blass, A; Gurevich, Y; Shelah, S
      Choiceless polynomial time

      ANNALS OF PURE AND APPLIED LOGIC
    12. Zitser-Gurevich, Y; Simchen, E; Galai, N; Braun, D
      Prediction of readmissions after CABG using detailed follow-up data - The Israeli CABG Study (ISCAB)

      MEDICAL CARE
    13. GRADEL E; GUREVICH Y
      METAFINITE MODEL-THEORY

      Information and computation
    14. BLASS A; GUREVICH Y; KREINOVICH V; LONGPRE L
      VARIATION ON THE ZERO-ONE LAW

      Information processing letters
    15. FILLO M; KECKLER SW; DALLY WJ; CARTER NP; CHANG A; GUREVICH Y; LEE WS
      THE M-MACHINE MULTICOMPUTER

      International journal of parallel programming
    16. GUREVICH Y; HUGGINS JK
      EQUIVALENCE IS IN THE EYE OF THE BEHOLDER

      Theoretical computer science
    17. EITER T; GOTTLOB G; GUREVICH Y
      NORMAL FORMS FOR 2ND-ORDER LOGIC OVER FINITE STRUCTURES, AND CLASSIFICATION OF NP OPTIMIZATION PROBLEMS

      Annals of pure and applied Logic
    18. GUREVICH Y; SHELAH S
      ON FINITE RIGID STRUCTURES

      The Journal of symbolic logic
    19. GUREVICH Y
      SPECIAL ISSUE - A TRIBUTE TO VANDALEN,DIRK - PREFACE

      Annals of pure and applied Logic
    20. BLASS A; GUREVICH Y
      MATRIX TRANSFORMATION IS COMPLETE FOR THE AVERAGE-CASE

      SIAM journal on computing
    21. GRADEL E; GUREVICH Y
      TAILORING RECURSION FOR COMPLEXITY

      The Journal of symbolic logic
    22. AJTAI M; GUREVICH Y
      DATALOG VS FIRST-ORDER LOGIC

      Journal of computer and system sciences
    23. GUREVICH Y; FILONENKO N
      ANALYTICAL METHOD FOR CALCULATION OF TEMPERATURE DISTRIBUTION IN LASER-IRRADIATED MEDIA WITH AN EXTERNAL COOLED SURFACE

      Applied physics letters
    24. BLASS A; GUREVICH Y
      RANDOMIZING REDUCTIONS OF SEARCH PROBLEMS

      SIAM journal on computing


ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 25/01/21 alle ore 03:45:16