Le informazioni sugli articoli di fonte ISI sono coperte da copyright

Per ulteriori informazioni selezionare i riferimenti di interesse.

1. Gradel, E; Malmstrom, A
   0-1 laws for recursive structures
   ARCHIVE FOR MATHEMATICAL LOGIC
   
   E. Gradel e A. Malmstrom, "0-1 laws for recursive structures", ARCH MATH L, 38(4-5), 1999, pp. 205-215
2. Gradel, E; Otto, M; Rosen, E
   Undecidability results on two-variable logics
   ARCHIVE FOR MATHEMATICAL LOGIC
   
   E. Gradel et al., "Undecidability results on two-variable logics", ARCH MATH L, 38(4-5), 1999, pp. 313-354
3. Gradel, E; Otto, M
   On logics with two variables
   THEORETICAL COMPUTER SCIENCE
   
   E. Gradel e M. Otto, "On logics with two variables", THEOR COMP, 224(1-2), 1999, pp. 73-113
4. Gradel, E
   On the restraining power of guards
   JOURNAL OF SYMBOLIC LOGIC
   
   E. Gradel, "On the restraining power of guards", J SYMB LOG, 64(4), 1999, pp. 1719-1742
5. GRADEL E; GUREVICH Y
   METAFINITE MODEL-THEORY
   Information and computation
   
   E. Gradel e Y. Gurevich, "METAFINITE MODEL-THEORY", Information and computation, 140(1), 1998, pp. 26-81
6. KUNZLI A; ZENKLUSEN HR; SCHLAPFER R; DALQUEN P; VOGT P; GRADEL E
   CARDIAC METASTASIS OF AN EPITHELOID LEIOMYOBLASTOMA OF THE LUNG
   Respiration
   
   A. Kunzli et al., "CARDIAC METASTASIS OF AN EPITHELOID LEIOMYOBLASTOMA OF THE LUNG", Respiration, 64(2), 1997, pp. 182-186
7. GRADEL E; MCCOLM GL
   HIERARCHIES IN TRANSITIVE CLOSURE LOGIC, STRATIFIED DATALOG AND INFINITARY LOGIC
   Annals of pure and applied Logic
   
   E. Gradel e G.L. Mccolm, "HIERARCHIES IN TRANSITIVE CLOSURE LOGIC, STRATIFIED DATALOG AND INFINITARY LOGIC", Annals of pure and applied Logic, 77(2), 1996, pp. 169-199
8. COMPTON KJ; GRADEL E
   LOGICAL DEFINABILITY OF COUNTING FUNCTIONS
   Journal of computer and system sciences
   
   K.J. Compton e E. Gradel, "LOGICAL DEFINABILITY OF COUNTING FUNCTIONS", Journal of computer and system sciences, 53(2), 1996, pp. 283-297
9. BOLLIGER CT; JORDAN P; SOLER M; STULZ P; GRADEL E; SKARVAN K; ELSASSER S; GONON M; WYSER C; TAMM M; PERRUCHOUD AP
   EXERCISE CAPACITY AS A PREDICTOR OF POSTOPERATIVE COMPLICATIONS IN LUNG RESECTION CANDIDATES
   American journal of respiratory and critical care medicine
   
   C.T. Bolliger et al., "EXERCISE CAPACITY AS A PREDICTOR OF POSTOPERATIVE COMPLICATIONS IN LUNG RESECTION CANDIDATES", American journal of respiratory and critical care medicine, 151(5), 1995, pp. 1472-1480
10. GRADEL E; MCCOLM GL
    ON THE POWER OF DETERMINISTIC TRANSITIVE CLOSURES
    Information and computation
    
    E. Gradel e G.L. Mccolm, "ON THE POWER OF DETERMINISTIC TRANSITIVE CLOSURES", Information and computation, 119(1), 1995, pp. 129-135
11. GRADEL E; GUREVICH Y
    TAILORING RECURSION FOR COMPLEXITY
    The Journal of symbolic logic
    
    E. Gradel e Y. Gurevich, "TAILORING RECURSION FOR COMPLEXITY", The Journal of symbolic logic, 60(3), 1995, pp. 952-969
12. MULLER HR; PFISTERER M; GRADEL E; ZEHNDER R
    SIMULTANEOUS BILATERAL TRANSCRANIAL DOPPLER SONOGRAPHY FOR THE DETECTION OF MIDDLE CEREBRAL-ARTERY MICROEMBOLI FROM MECHANICAL PROSTHETIC HEART-VALVES
    Cerebrovascular diseases
    
    H.R. Muller et al., "SIMULTANEOUS BILATERAL TRANSCRANIAL DOPPLER SONOGRAPHY FOR THE DETECTION OF MIDDLE CEREBRAL-ARTERY MICROEMBOLI FROM MECHANICAL PROSTHETIC HEART-VALVES", Cerebrovascular diseases, 4(6), 1994, pp. 393-397
13. STULZ P; SCHLAPFER R; FEER R; HABICHT J; GRADEL E
    DECISION-MAKING IN THE SURGICAL-TREATMENT OF MASSIVE PULMONARY-EMBOLISM
    European journal of cardio-thoracic surgery
    
    P. Stulz et al., "DECISION-MAKING IN THE SURGICAL-TREATMENT OF MASSIVE PULMONARY-EMBOLISM", European journal of cardio-thoracic surgery, 8(4), 1994, pp. 188-193
14. HABICHT JM; STULZ P; GRADEL E
    COSTOTOMY AND HAND INSIDE - A USEFUL ADJUNCT TO VIDEO-ASSISTED THORACIC-SURGERY OR JUST A SILLY IDEA
    The thoracic and cardiovascular surgeon
    
    J.M. Habicht et al., "COSTOTOMY AND HAND INSIDE - A USEFUL ADJUNCT TO VIDEO-ASSISTED THORACIC-SURGERY OR JUST A SILLY IDEA", The thoracic and cardiovascular surgeon, 42(6), 1994, pp. 345-349
15. HABICHT JM; LORI A; STULZ P; GRADEL E; PERRUCHOUD A; MOCH H
    PRIMARY NON-HODGKINS-LYMPHOMA OF THE LUNG - WILL VIDEOTHORACOSCOPIC BIOPSY CHANGE DECISION-MAKING WITH REGARD TO RESECTION OF THIS DISEASE
    The thoracic and cardiovascular surgeon
    
    J.M. Habicht et al., "PRIMARY NON-HODGKINS-LYMPHOMA OF THE LUNG - WILL VIDEOTHORACOSCOPIC BIOPSY CHANGE DECISION-MAKING WITH REGARD TO RESECTION OF THIS DISEASE", The thoracic and cardiovascular surgeon, 42(2), 1994, pp. 112-115
16. GUNTHARD J; WYLER F; BERTSCHMANN W; GRADEL E
    IS THERE AN INDICATION FOR SURGICAL-CORRE CTION OF AN AV-SEPTAL DEFECT IN PATIENTS WITH DOWN-SYNDROME
    Monatsschrift fur Kinderheilkunde
    
    J. Gunthard et al., "IS THERE AN INDICATION FOR SURGICAL-CORRE CTION OF AN AV-SEPTAL DEFECT IN PATIENTS WITH DOWN-SYNDROME", Monatsschrift fur Kinderheilkunde, 142(6), 1994, pp. 449-454
17. BOLLIGER CT; SOLER M; STULZ P; GRADEL E; MULLERBRAND J; ELSASSER S; GONON M; WYSER C; PERRUCHOUD AP
    EVALUATION OF HIGH-RISK LUNG RESECTION CANDIDATES - PULMONARY HEMODYNAMICS VERSUS EXERCISE TESTING - A SERIES OF 5 PATIENTS
    Respiration
    
    C.T. Bolliger et al., "EVALUATION OF HIGH-RISK LUNG RESECTION CANDIDATES - PULMONARY HEMODYNAMICS VERSUS EXERCISE TESTING - A SERIES OF 5 PATIENTS", Respiration, 61(4), 1994, pp. 181-186
18. VANDERMEER J; HILLEGE HL; VANGILST WH; DELARIVIERE AB; DUNSELMAN PHJM; FIDLER V; KOOTSTRA GJ; MULDER BJM; PFISTERER M; LIE KI; MEIJLER FL; ASCOOP CAPL; DUNNING AJ; MICHELS HR; DEMEDINA EOR; WELLENS HJJ; ARNTZENIUS AC; LUBSEN J; SCHUILENBERG RM; SKOTNICKI SH; DEFEYTER PJ; HOORNTJE JCA; VISSER FC; VANDIJK RB; DENHEYER P; JANSSEN J; VANOMMEN GVA; BAR FWHM; HAUER RNW; VIERSMA JW; FANGGIDAEJ D; LIEM AL; TEUBEN JHM; VANDERVEEN HF; TIJSSEN JGP; VUIJK M; DEJONGSTE MJL; EIJGELAAR A; VANDERDOEF R; PIEK J; MEYNE NG; GIN RMTY; VERMEULEN FE; BUSER P; BURKART F; GRADEL E; BONNIER JJRM; BAVINCK JH; SCHMIDT H; NUSE J; SEGGEWISS K; POSIVAL H; GLEICHMANN U; KORFER R; TERRES W; BLEIFELD W; KALMAR P; PENN OEK; WEVER E; HITCHCOCK JF
    A COMPARISON OF INTERNAL MAMMARY ARTERY AND SAPHENOUS-VEIN GRAFTS AFTER CORONARY-ARTERY BYPASS-SURGERY - NO DIFFERENCE IN 1-YEAR OCCLUSION RATES AND CLINICAL OUTCOME
    Circulation
    
    J. Vandermeer et al., "A COMPARISON OF INTERNAL MAMMARY ARTERY AND SAPHENOUS-VEIN GRAFTS AFTER CORONARY-ARTERY BYPASS-SURGERY - NO DIFFERENCE IN 1-YEAR OCCLUSION RATES AND CLINICAL OUTCOME", Circulation, 90(5), 1994, pp. 2367-2374
19. STRAUMANN E; KIOWSKI W; LANGER I; GRADEL E; STULZ P; BURCKHARDT D; PFISTERER M; BURKART F
    AORTIC-VALVE REPLACEMENT IN ELDERLY PATIENTS WITH AORTIC-STENOSIS - ABSTRACTS
    British Heart Journal
    
    E. Straumann et al., "AORTIC-VALVE REPLACEMENT IN ELDERLY PATIENTS WITH AORTIC-STENOSIS - ABSTRACTS", British Heart Journal, 71(5), 1994, pp. 449-453
20. PARGGER H; STULZ P; FRIEDLI D; GACHTER A; GRADEL E; SKARVAN K
    MASSIVE INTRAOPERATIVE PULMONARY-EMBOLISM - DIAGNOSIS AND CONTROL OF EFFICACY OF EMBOLECTOMY BY TRANSESOPHAGEAL ECHOCARDIOGRAPHY
    Anasthesist
    
    H. Pargger et al., "MASSIVE INTRAOPERATIVE PULMONARY-EMBOLISM - DIAGNOSIS AND CONTROL OF EFFICACY OF EMBOLECTOMY BY TRANSESOPHAGEAL ECHOCARDIOGRAPHY", Anasthesist, 43(6), 1994, pp. 398-402
21. PETER M; WEISS P; JENZER HR; HOFFMANN A; DUBACH P; ROTH J; BERTSCHMANN W; STULZ P; GRADEL E; BURCKHARDT D
    THE OMNICARBON TILTING-DISC HEART-VALVE PROSTHESIS - A CLINICAL AND DOPPLER-ECHOCARDIOGRAPHIC FOLLOW-UP
    Journal of thoracic and cardiovascular surgery
    
    M. Peter et al., "THE OMNICARBON TILTING-DISC HEART-VALVE PROSTHESIS - A CLINICAL AND DOPPLER-ECHOCARDIOGRAPHIC FOLLOW-UP", Journal of thoracic and cardiovascular surgery, 106(4), 1993, pp. 599-608
22. BOLLIGER CT; SOLER M; STULZ P; GRADEL E; MULLERBRAND J; PERRUCHOUD AP
    PREOPERATIVE EVALUATION OF HIGH-RISK LUNG RESECTION CANDIDATES
    The American review of respiratory disease
    
    C.T. Bolliger et al., "PREOPERATIVE EVALUATION OF HIGH-RISK LUNG RESECTION CANDIDATES", The American review of respiratory disease, 147(4), 1993, pp. 739-739