Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
M. Bugliesi
~ 0  Ergebnisse:
Personensuche X
?
1

Model checking adaptive service compositions:

Bugliesi, M. ; Marin, A. ; Rossi, S.
Science of Computer Programming.  94 (2014)  - p. 289-306 , 2014
Link: https://doi.org/10.1016/..
 
?
2

Object calculi in linear logic:

Bugliesi, M
Journal of Logic and Computation.  10 (2000)  1 - p. 75-104 , 2000
Link: https://doi.org/10.1093/..
 
?
3

Differential logic programs: Programming methodologies and ..:

Bossi, A ; Bugliesi, M ; Gabbrielli, M..
Science of Computer Programming.  27 (1996)  3 - p. 217-262 , 1996
Link: https://doi.org/10.1016/..
 
?
4

Differential logic programming:

, In: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
Bossi, A. ; Bugliesi, M. ; Gabbrielli, M... - p. 359-370 , 1993
Link: https://dl.acm.org/doi/1..
 
?
5

GAMES: A general architecture for medical expert systems:

Μουστακης Βασιλης(http://users.isc.tuc.gr/~vmoustakis) ; Moustakis Vasilis(http://users.isc.tuc.gr/~vmoustakis) ; F. Zambon()...
info:eu-repo/grantAgreement/EC/FP7/246686.  , 2015
Link: http://purl.tuc.gr/dl/di..
 
?
6

Communication and mobility control in boxed ambients:

M. BUGLIESI ; CRAFA, SILVIA ; M. MERRO.
info:eu-repo/semantics/altIdentifier/wos/WOS:000232281700002.  , 2005
Link: http://hdl.handle.net/11..
 
?
7

Interpretations of Extensible Objects and Types:

BONO, Viviana ; M. Bugliesi
info:eu-repo/semantics/altIdentifier/wos/WOS:000165141900008.  , 1999
Link: http://hdl.handle.net/23..
 
?
8

Matching Constraints for the Lambda Calculus of Objects:

BONO, Viviana ; M. Bugliesi
info:eu-repo/semantics/altIdentifier/wos/WOS:A1997BJ62W00004.  , 1997
Link: http://hdl.handle.net/23..
 
?
9

A Lambda Calculus of Incomplete Objects:

BONO, Viviana ; M. Bugliesi ; L. Liquori
info:eu-repo/semantics/altIdentifier/isbn/3-540-61550-4.  , 1996
Link: http://hdl.handle.net/23..
 
?
10

Type Inference for Variant Object Types:

Bugliesi, Michele ; Pericás-Geertsen, Santiago M.
Information and Computation.  177 (2002)  1 - p. 2-27 , 2002
Link: https://doi.org/10.1006/..
 
1-10