Automatic and polynomial-time algebraic structures

Automatic and polynomial-time algebraic structures

A structure is automatic if its domain, functions, and relations are all regular languages. Using the fact that every automatic structure is decidable, in the literature many decision problems have been solved by giving an automatic presentation of a particular structure. Khoussainov and Nerode aske...

Full description

Saved in:
Bibliographic Details
Main Authors: Bazhenov, Nikolay, Harrison-Trainor, Matthew, Kalimullin, Iskander, Melnikov, Alexander, Ng, Keng Meng
Other Authors: School of Physical and Mathematical Sciences
Format: Article
Language:English
Published: 2020
Subjects:
Science::Mathematics
Automatic Structures
Classification
Online Access:https://hdl.handle.net/10356/145007
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Nanyang Technological University
Language: English

Internet

https://hdl.handle.net/10356/145007

Similar Items