Bisimilarity is not Borel
| Title | Bisimilarity is not Borel |
| Publication Type | Manuscript |
| Year of Publication | 2012 |
| Authors | Sánchez Terraf, P |
| Collection Title | ArXiv e-prints |
| Keywords | 03B70, 03E15, 28A05, Computer Science - Logic in Computer Science, F.1.2, F.4.1, Mathematics - Logic |