Title of article
Termination of just/fair computations in term rewriting
Author/Authors
Salvador Lucas، نويسنده , , José Meseguer، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2008
Pages
24
From page
652
To page
675
Keywords
Concurrent programming , Term rewriting , Program analysis , Termination , fairness
Journal title
Information and Computation
Serial Year
2008
Journal title
Information and Computation
Record number
262476
Link To Document