![Theoretical computer science / Model theory / Automata theory / Regular language / Presburger arithmetic / Structure / Decision problem / Mathematics / Mathematical logic / Formal languages Theoretical computer science / Model theory / Automata theory / Regular language / Presburger arithmetic / Structure / Decision problem / Mathematics / Mathematical logic / Formal languages](https://www.pdfsearch.io/img/6841f56a4959850807d2c047dc965318.jpg)
| Document Date: 2010-12-15 16:01:47 Open Document File Size: 201,99 KBShare Result on Facebook
Currency pence / / Facility University of Edinburgh Abstract / / IndustryTerm machinery / elementary algorithm / easier tools / / Organization In Section / University of Edinburgh Abstract / Tony Tan School of Informatics / / Person Leonid Libkin / / ProgrammingLanguage XML / / ProvinceOrState Virginia / / Technology XML / /
SocialTag |