Carreiro, Facundo and Facchini, Alessandro and Venema, Yde and Zanasi, Fabio (2014) Weak MSO: automata and expressiveness modulo bisimilarity. In: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014.
![[img]](http://repository.supsi.ch/style/images/fileicons/text.png) |
Text
1401.4374 - Draft Version Download (11kB) |
Official Website: http://doi.acm.org/10.1145/2603088.2603101
| 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/6125 |
Actions (login required)
 |
View Item |