Automatic linear orders and trees

10.1145/1094622.1094625

Saved in:

Bibliographic Details
Main Authors:	Khoussainov, B., Rubin, S., Stephan, F.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	Automatic structures Linear orders Trees
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/40491
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-40491
record_format	dspace
spelling	sg-nus-scholar.10635-404912024-11-09T08:13:51Z Automatic linear orders and trees Khoussainov, B. Rubin, S. Stephan, F. COMPUTER SCIENCE Automatic structures Linear orders Trees 10.1145/1094622.1094625 ACM Transactions on Computational Logic 6 4 675-700 2013-07-04T08:05:32Z 2013-07-04T08:05:32Z 2005 Conference Paper Khoussainov, B.,Rubin, S.,Stephan, F. (2005). Automatic linear orders and trees. ACM Transactions on Computational Logic 6 (4) : 675-700. ScholarBank@NUS Repository. <a href="https://doi.org/10.1145/1094622.1094625" target="_blank">https://doi.org/10.1145/1094622.1094625</a> 15293785 http://scholarbank.nus.edu.sg/handle/10635/40491 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Automatic structures Linear orders Trees
spellingShingle	Automatic structures Linear orders Trees Khoussainov, B. Rubin, S. Stephan, F. Automatic linear orders and trees
description	10.1145/1094622.1094625
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Khoussainov, B. Rubin, S. Stephan, F.
format	Conference or Workshop Item
author	Khoussainov, B. Rubin, S. Stephan, F.
author_sort	Khoussainov, B.
title	Automatic linear orders and trees
title_short	Automatic linear orders and trees
title_full	Automatic linear orders and trees
title_fullStr	Automatic linear orders and trees
title_full_unstemmed	Automatic linear orders and trees
title_sort	automatic linear orders and trees
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/40491
_version_	1821232635337244672

Automatic linear orders and trees

Similar Items