S. Cerrito

发表

A. Cesta, M. C. Mayer, S. Cerrito, 1997 .

C. Froidevaux, S. Cerrito, N. Bidoit, 2022 .

W. Zwerger, R. Haussmann, W. Rantner, 2006, cond-mat/0608282.

W. Zwerger, R. Haussmann, W. Rantner, 2006, cond-mat/0608282.

Marta Cialdea Mayer, Serenella Cerrito, M. C. Mayer, 1998, AIMSA.

Marta Cialdea Mayer, Serenella Cerrito, M. C. Mayer, 1998, TABLEAUX.

Valentin Goranko, Serenella Cerrito, Amélie David, 2019, TIME.

Marta Cialdea Mayer, Serenella Cerrito, M. C. Mayer, 2000, TABLEAUX.

Christine Froidevaux, Serenella Cerrito, Nicole Bidoit, 1996, J. Log. Comput..

Delia Kesner, Serenella Cerrito, D. Kesner, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).

Marta Cialdea Mayer, Serenella Cerrito, M. C. Mayer, 2000 .

Serenella Cerrito, S. Cerrito, 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

Serenella Cerrito, S. Cerrito, 1992, J. Log. Program..

Marta Cialdea Mayer, Serenella Cerrito, M. C. Mayer, 2001, Stud Logica.

Marta Cialdea Mayer, Serenella Cerrito, Emanuele Benassi, 2009 .

Marta Cialdea Mayer, Serenella Cerrito, M. C. Mayer, 1997, Log. J. IGPL.

Serenella Cerrito, S. Cerrito, 1992, JICSLP.