Marco Forti

发表

Vieri Benci, Mauro Di Nasso, Marco Forti, 2006, Ann. Pure Appl. Log..

Daniele Zonta, Oreste S. Bursi, Marco Forti, 2005, SPIE Smart Structures and Materials + Nondestructive Evaluation and Health Monitoring.

Furio Honsell, Marina Lenisa, Marco Forti, 1996 .

Furio Honsell, Marina Lenisa, Marco Forti, 1997, Mathematical Structures in Computer Science.

Furio Honsell, Marco Forti, 1985, Math. Log. Q..

Vieri Benci, Mauro Di Nasso, Marco Forti, 2004 .

Marco Forti, Roland Hinnion, 1989, J. Symb. Log..

Furio Honsell, Marco Forti, 1998, Ann. Pure Appl. Log..

Furio Honsell, Marina Lenisa, Marco Forti, 1999 .

Furio Honsell, Marco Forti, 1984, Math. Log. Q..

Vieri Benci, Mauro Di Nasso, Marco Forti, 2007 .

Furio Honsell, Marco Forti, 1989 .

Vieri Benci, Mauro Di Nasso, Marco Forti, 2007 .

Lodovico Galleni, Marco Forti, Paolo Freguglia, 2002 .

Mauro Di Nasso, Marco Forti, M. Forti, 2010 .