italiano | contact

On the Complexity of Deciding the Derivation Length in Term Rewriting Systems

M.Flammini, P.Inverardi, D.Mango, M.Nesi

6th International Workshop on Termination (WST), 2003

Contact: ,



Head of the department is Prof. Claudio Arbib (since March 1, 2008). The ...

continua ›


Numerous articles published in international scientific journals, books, and ...

continua ›

Job Postings

Consulta le offerte di lavoro pervenute dalle aziende, potrai entrare in ...

continua ›