@article{syntactic:andre,
    Author = {Arnold, Andre},
    File = {A syntactic congruence for rational omega-languages - Arnold (0) (0) - a - a - x.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Keywords = {syntactic congruence},
    Note = {Third Conference on Foundations of Software Technology and Theoretical Computer Science},
    Number = {0},
    Pages = {333 - 335},
    Title = {A syntactic congruence for rational omega-languages},
    URL = {http://www.sciencedirect.com/science/article/pii/0304397585901483},
    Volume = {39},
    Year = {1985},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0304397585901483},
    bdsk-url-2 = {http://dx.doi.org/10.1016/0304-3975(85)90148-3},
    date-added = {2012-03-07 16:42:15 +0100},
    date-modified = {2012-03-07 15:42:57 +0000},
    doi = {10.1016/0304-3975(85)90148-3}
}

@article{syntactic:andre, Author = {Arnold, Andre}, File = {A syntactic congruence for rational omega-languages - Arnold (0) (0) - a - a - x.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Keywords = {syntactic congruence}, Note = {Third Conference on Foundations of Software Technology and Theoretical Computer Science}, Number = {0}, Pages = {333 - 335}, Title = {A syntactic congruence for rational omega-languages}, URL = {http://www.sciencedirect.com/science/article/pii/0304397585901483}, Volume = {39}, Year = {1985}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0304397585901483}, bdsk-url-2 = {http://dx.doi.org/10.1016/0304-3975(85)90148-3}, date-added = {2012-03-07 16:42:15 +0100}, date-modified = {2012-03-07 15:42:57 +0000}, doi = {10.1016/0304-3975(85)90148-3} }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge