AAAAAA

   
Results: 1-13 |
Results: 13
A TRANSFORMATION SYSTEM FOR CLP WITH DYNAMIC SCHEDULING AND CCP
Authors: ETALLE S GABBRIELLI M MARCHIORI E
Citation: S. Etalle et al., A TRANSFORMATION SYSTEM FOR CLP WITH DYNAMIC SCHEDULING AND CCP, ACM SIGPLAN NOTICES, 32(12), 1997, pp. 137-150
CONSTRAINT LOGIC PROGRAMMING WITH DYNAMIC SCHEDULING - A SEMANTICS BASED ON CLOSURE OPERATORS
Authors: FALASCHI M GABBRIELLI M MARRIOTT K PALAMIDESSI C
Citation: M. Falaschi et al., CONSTRAINT LOGIC PROGRAMMING WITH DYNAMIC SCHEDULING - A SEMANTICS BASED ON CLOSURE OPERATORS, Information and computation, 137(1), 1997, pp. 41-67
DISEASE HISTORY IN 382 ITALIAN PATIENTS WITH CROHNS-DISEASE
Authors: VANNOZZI G FONTANA R MILLA M BONANOMI AG TRALLORI G GABBRIELLI M PACINI F LEANDRO G MORETTINI A
Citation: G. Vannozzi et al., DISEASE HISTORY IN 382 ITALIAN PATIENTS WITH CROHNS-DISEASE, The Italian Journal of Gastroenterology, 29(6), 1997, pp. 525-532
MORPHOLOGICAL INJURY OF THE INTESTINAL-MUCOSA AND INFECTION IN PATIENTS WITH AIDS - THE ROLE OF COMBINED TISSUE AND STOOL EXAMINATION
Authors: DIONISIO D DILOLLO S MANNESCHI LI GABBRIELLI M PAPUCCI A CARBONAI S MELI M STERRANTINO G GIANNELLI E LEONCINI F
Citation: D. Dionisio et al., MORPHOLOGICAL INJURY OF THE INTESTINAL-MUCOSA AND INFECTION IN PATIENTS WITH AIDS - THE ROLE OF COMBINED TISSUE AND STOOL EXAMINATION, The Italian Journal of Gastroenterology, 29(1), 1997, pp. 25-30
CONFLUENCE IN CONCURRENT CONSTRAINT PROGRAMMING
Authors: FALASCHI M GABBRIELLI M MARRIOTT K PALAMIDESSI C
Citation: M. Falaschi et al., CONFLUENCE IN CONCURRENT CONSTRAINT PROGRAMMING, Theoretical computer science, 183(2), 1997, pp. 281-315
PROVING CONCURRENT CONSTRAINT PROGRAMS CORRECT
Authors: DEBOER FS GABBRIELLI M MARCHIORI E PALAMIDESSI C
Citation: Fs. Deboer et al., PROVING CONCURRENT CONSTRAINT PROGRAMS CORRECT, ACM transactions on programming languages and systems, 19(5), 1997, pp. 685-725
ENTEROCYTOZOON-BIENEUSI IN AIDS - SYMPTOMATIC RELIEF AND PARASITE CHANGES AFTER FURAZOLIDONE
Authors: DIONISIO D MANNESCHI LI DILOLLO S ORSI A STERRANTINO G MELI M GABBRIELLI M TANI A PAPUCCI A LEONCINI F
Citation: D. Dionisio et al., ENTEROCYTOZOON-BIENEUSI IN AIDS - SYMPTOMATIC RELIEF AND PARASITE CHANGES AFTER FURAZOLIDONE, Journal of Clinical Pathology, 50(6), 1997, pp. 472-476
A CLOSER LOOK AT DECLARATIVE INTERPRETATIONS
Authors: APT KR GABBRIELLI M PEDRESCHI D
Citation: Kr. Apt et al., A CLOSER LOOK AT DECLARATIVE INTERPRETATIONS, The journal of logic programming, 28(2), 1996, pp. 147-180
TRANSFORMATIONS OF CLP MODULES
Authors: ETALLE S GABBRIELLI M
Citation: S. Etalle et M. Gabbrielli, TRANSFORMATIONS OF CLP MODULES, Theoretical computer science, 166(1-2), 1996, pp. 101-146
DIFFERENTIAL LOGIC PROGRAMS - PROGRAMMING METHODOLOGIES AND SEMANTICS
Authors: BOSSI A BUGLIESI M GABBRIELLI M LEVI G MEO MC
Citation: A. Bossi et al., DIFFERENTIAL LOGIC PROGRAMS - PROGRAMMING METHODOLOGIES AND SEMANTICS, Science of computer programming, 27(3), 1996, pp. 217-262
OBSERVABLE BEHAVIORS AND EQUIVALENCES OF LOGIC PROGRAMS
Authors: GABBRIELLI M LEVI G MEO MC
Citation: M. Gabbrielli et al., OBSERVABLE BEHAVIORS AND EQUIVALENCES OF LOGIC PROGRAMS, Information and computation, 122(1), 1995, pp. 1-29
A COMPOSITIONAL SEMANTICS FOR LOGIC PROGRAMS
Authors: BOSSI A GABBRIELLI M LEVI G MEO MC
Citation: A. Bossi et al., A COMPOSITIONAL SEMANTICS FOR LOGIC PROGRAMS, Theoretical computer science, 122(1-2), 1994, pp. 3-47
MITOTIC-ACTIVITY IN COLORECTAL MUCOSA OF HEALTHY-SUBJECTS IN 2 ITALIAN AREAS WITH DIFFERENT DIETARY HABITS
Authors: CADERNI G BIANCHINI F RUSSO A SPAGNESI MT GABBRIELLI M GINANNESCHI U LAGI A MONTIGIANI A CIPRIANI F PALLI D RIZZI M TONELLI F VALANZANO R DOLARA P
Citation: G. Caderni et al., MITOTIC-ACTIVITY IN COLORECTAL MUCOSA OF HEALTHY-SUBJECTS IN 2 ITALIAN AREAS WITH DIFFERENT DIETARY HABITS, Nutrition and cancer, 19(3), 1993, pp. 263-268
Risultati: 1-13 |