@article{Hodgson:TCS82,
    Abstract = {This paper is concerned with connections between two different ways to prove decidability results: methods of automata theory and methods related to products of algebraic systems. Some basic automaton-theoretic conditions on relational structures are presented which give preservation theorems for decidability under certain direct products.},
    Author = {Hodgson, Bernard R.},
    File = {On direct products of automaton decidable theories - Hodgson (0) (0) - a - a - e.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Number = {3},
    Pages = {331 - 335},
    Title = {On direct products of automaton decidable theories},
    URL = {http://www.sciencedirect.com/science/article/pii/0304397582900421},
    Volume = {19},
    Year = {1982},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0304397582900421},
    bdsk-url-2 = {http://dx.doi.org/10.1016/0304-3975(82)90042-1},
    date-added = {2015-03-19 10:20:02 +0000},
    date-modified = {2015-03-19 10:20:19 +0000},
    doi = {10.1016/0304-3975(82)90042-1}
}

@article{Hodgson:TCS82, Abstract = {This paper is concerned with connections between two different ways to prove decidability results: methods of automata theory and methods related to products of algebraic systems. Some basic automaton-theoretic conditions on relational structures are presented which give preservation theorems for decidability under certain direct products.}, Author = {Hodgson, Bernard R.}, File = {On direct products of automaton decidable theories - Hodgson (0) (0) - a - a - e.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Number = {3}, Pages = {331 - 335}, Title = {On direct products of automaton decidable theories}, URL = {http://www.sciencedirect.com/science/article/pii/0304397582900421}, Volume = {19}, Year = {1982}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0304397582900421}, bdsk-url-2 = {http://dx.doi.org/10.1016/0304-3975(82)90042-1}, date-added = {2015-03-19 10:20:02 +0000}, date-modified = {2015-03-19 10:20:19 +0000}, doi = {10.1016/0304-3975(82)90042-1} }