Reachability analysis of fragments of mobile ambients in AC term rewriting
Giorgio Delzanno, Roberto MontagnaVolume:
20
Language:
english
Pages:
22
DOI:
10.1007/s00165-008-0081-8
Date:
July, 2008
File:
PDF, 581 KB
english, 2008