Facchini, Alessandro and Venema, Yde and Zanasi, Fabio (2013) A Characterization Theorem for the Alternation-Free Fragment of the Modal μ-Calculus. In: 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013.
Full text not available from this repository.
Official Website: http://dx.doi.org/10.1109/LICS.2013.54
| Item Type: | Article in conference proceedings or Presentation at a conference (Paper) |
|---|---|
| Subjects: | Computer sciences > Computer science > Computational science foundations |
| Depositing User: | Alessandro Facchini |
| Date Deposited: | 12 Feb 2015 06:33 |
| Last Modified: | 12 Feb 2015 06:33 |
| URI: | http://repository.supsi.ch/id/eprint/6127 |
Actions (login required)
 |
View Item |