italiano | contact
PUBLICATION

A Strategy to Deal with Divergent Rewrite Systems

P. Inverardi and M. Nesi

3rd International Workshop on Conditional Term Rewriting Systems - CTRS'92, Lecture Notes in Computer Science, pagg. 458-467, 1993

Contact: ,

 
 
 
 

Organization

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

continua ›
 
 
 
 

Publications

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

continua ›
 
 
 
 

Job Postings

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

continua ›