Вы здесь

Meo M. C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Proving Correctness of Timed Concurrent Constraint Programs 2002 de Boer F., Gabbrielli M., Meo M. C. Lecture Notes in Computer Science 09.05.2002
СТ 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 Properties of Logic Programs by Abstract Diagnosis 1997 Comini M., Levi G., Meo M. C., Vitiello G. Lecture Notes in Computer Science 20.02.1997
СТ Compositionality in SLD-derivations and their Abstractions 1995 Comini M., Levi G., Meo M. C. Logic Programming: Proc. of the 1995 Intern. Symp. 25.04.1996
СТ A Bottom-up Semantics for Constructive Negation 1994 Bossi A., Fabris M., Meo M. C. Logic Programming: Proc. of the Eleventh Intern. Conf. 01.02.1996
СТ 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
СТ Compilative Constructive Negation in Constraint Logic Programs 1994 Bruscoli P., Levi F., Levi G., Meo M. C. Lecture Notes in Computer Science 30.04.1994