Home > VOLUME 12, ISSUE 3 (2016)
 articles  
1. Reasoning about data repetitions with counter systems  PDF | PostScript | Abstract, RST
 
  Stéphane Demri, Diego Figueira and M Praveen








Logical Methods in Computer Science. ISSN: 1860-5974


Open Access Research