Automatic models of first order theories

10.1016/j.apal.2013.03.001

Saved in:

Bibliographic Details
Main Authors:	Semukhin, P., Stephan, F.
Other Authors:	MATHEMATICS
Format:	Article
Published:	2014
Subjects:	Automatic structures Model theory
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/102909
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-102909
record_format	dspace
spelling	sg-nus-scholar.10635-1029092024-11-09T08:13:42Z Automatic models of first order theories Semukhin, P. Stephan, F. MATHEMATICS Automatic structures Model theory 10.1016/j.apal.2013.03.001 Annals of Pure and Applied Logic 164 9 837-854 APALD 2014-10-28T02:31:08Z 2014-10-28T02:31:08Z 2013-09 Article Semukhin, P., Stephan, F. (2013-09). Automatic models of first order theories. Annals of Pure and Applied Logic 164 (9) : 837-854. ScholarBank@NUS Repository. https://doi.org/10.1016/j.apal.2013.03.001 01680072 http://scholarbank.nus.edu.sg/handle/10635/102909 000320417600001 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Automatic structures Model theory
spellingShingle	Automatic structures Model theory Semukhin, P. Stephan, F. Automatic models of first order theories
description	10.1016/j.apal.2013.03.001
author2	MATHEMATICS
author_facet	MATHEMATICS Semukhin, P. Stephan, F.
format	Article
author	Semukhin, P. Stephan, F.
author_sort	Semukhin, P.
title	Automatic models of first order theories
title_short	Automatic models of first order theories
title_full	Automatic models of first order theories
title_fullStr	Automatic models of first order theories
title_full_unstemmed	Automatic models of first order theories
title_sort	automatic models of first order theories
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/102909
_version_	1821206179089481728

Automatic models of first order theories

Similar Items