Subject
General Computer Science,Theoretical Computer Science
Reference27 articles.
1. The Decision Problem for Temporal Logic;Burges;Notre Dame J. Formal Logic,1985
2. The first-order properties of products of algebraic systems;Feferman;Fundamenta Mathematica,1959
3. Modest theory of short chains I;Gurevich;Journal of Symbolic Logic,1979
4. Monadic second-order theories;Gurevich,1985
5. Definability and Undefinability with Real Order at the Background;Gurevich;Journal of Symbolic Logic,2000