Original languageEnglish
Title of host publicationTheory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Proceedings
EditorsTV Gopal, G Jager, S Steila
PublisherSpringer-Verlag GmbH and Co. KG
Pages85-96
Number of pages12
ISBN (Print)9783319559100
DOIs
Publication statusPublished - 1 Jan 2017
Event14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017 - Bern, Switzerland
Duration: 20 Apr 201722 Apr 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10185 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference14th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017
Country/TerritorySwitzerland
CityBern
Period20.04.201722.04.2017

    Research areas

  • Autostability relative to strong constructivizations, Autostability spectrum, Categoricity spectrum, Computable categoricity, Computable structure, Decidable structure, Degree of categoricity, Linear ordering, Ordered abelian group, STABILITY, COMPUTABLE CATEGORICITY, RECURSIVE STRUCTURES, COMPLEXITY, MODEL-THEORY, SPECTRA

ID: 10262774