Axiomatizable Classes of Finite Models and Definability of Linear Order

Alexei P. Stolboushkin. Axiomatizable Classes of Finite Models and Definability of Linear Order. In Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA. pages 64-70, IEEE Computer Society, 1992.

Authors

Alexei P. Stolboushkin

This author has not been identified. Look up 'Alexei P. Stolboushkin' in Google