@article{MSC:44783,
    Author = {Huet, G{\` e}rard},
    File = {Regular Böhm trees - HUET (0) (0) - a - a - c.pdf},
    ISSN = {1469-8072},
    Issue = {06},
    Journal = {Mathematical Structures in Computer Science},
    Month = {12},
    Pages = {671--680},
    Title = {Regular Böhm trees},
    URL = {http://journals.cambridge.org/article\_S0960129598002643},
    Volume = {8},
    Year = {1998},
    bdsk-url-1 = {http://journals.cambridge.org/article\_S0960129598002643},
    bdsk-url-2 = {http://dx.doi.org/null},
    date-added = {2014-03-29 17:00:54 +0000},
    date-modified = {2014-03-29 17:00:54 +0000},
    numpages = {10},
    doi = {null}
}

@article{MSC:44783, Author = {Huet, G{` e}rard}, File = {Regular Böhm trees - HUET (0) (0) - a - a - c.pdf}, ISSN = {1469-8072}, Issue = {06}, Journal = {Mathematical Structures in Computer Science}, Month = {12}, Pages = {671--680}, Title = {Regular Böhm trees}, URL = {http://journals.cambridge.org/article_S0960129598002643}, Volume = {8}, Year = {1998}, bdsk-url-1 = {http://journals.cambridge.org/article_S0960129598002643}, bdsk-url-2 = {http://dx.doi.org/null}, date-added = {2014-03-29 17:00:54 +0000}, date-modified = {2014-03-29 17:00:54 +0000}, numpages = {10}, doi = {null} }

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