Вы здесь

Gabbrielli M.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Modeling Answer Constraints in Constraint Logic Programs 1991 Gabbrielli M., Levi G. Logic Programming: Proc./Eighth Intern. Conf. 19.09.1994
СТ On the Semantics of Logic Programs 1991 Gabbrielli M., Levi G. Lecture Notes in Computer Science 11.09.1991
СТ Observational Equivalences for Logic Programs 1992 Gabbrielli M., Levi G., Meo M. C. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 15.12.1994
СТ Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs 1992 Gabbrielli M., Levi G. Theoretical Computer Science 17.11.1992
СТ New Semantic Tools for Logic Programming 1993 Gabbrielli M., Levi G. Lecture Notes in Computer Science 11.06.1993
СТ Declarative Interpretations Reconsidered 1994 Apt K. R., Gabbrielli M. Logic Programming: Proc. of the Eleventh Intern. Conf. 31.01.1996
СТ A Transformation System for Modular CLP Programs 1995 Etalle S., Gabbrielli M. Logic Programming: Proc. of the Twelfth Intern. Conf. 13.05.1996
СТ Modeling Real-Time in Concurrent Constraint Programming 1995 de Boer F. S., Gabbrielli M. Logic Programming: Proc. of the 1995 Intern. Symp. 25.04.1996
СТ Confluence in Concurrent Constraint Programming 1995 Falaschi M., Gabbrielli M., Marriott K., Palamidessi C. Lecture Notes in Computer Science Algebraic Methodology and Software Technology 13.09.1995
СТ A Simple Semantics for Logic Programming Languages with Dynamic Scheduling 1995 Marriot K., Falaschi M., Gabbrielli M., Palamidessi C. Australian Computer Science Communications 12.07.1995
СТ Proving Correctness of Constraint Logic Programs with Dynamic Scheduling 1996 de Boer F. S., Gabbrielli M., Palamidessi C. Lecture Notes in Computer Science Static Analysis 04.10.1996
СТ A Transformation System for CLP with Dynamic Scheduling and CCP 1997 Etalle S., Gabbrielli M., Marchiori E. SIGPLAN Notices 27.01.1998
СТ Semantics and Expressive Power of a Timed Concurrent Constraint Language 1997 de Boer F., Gabbrielli M., Meo M. C. Lecture Notes in Computer Science 25.11.1997
СТ Proving Correctness of Timed Concurrent Constraint Programs 2002 de Boer F., Gabbrielli M., Meo M. C. Lecture Notes in Computer Science 09.05.2002