Lex

Browse

GenresShelvesPremiumBlog

Company

AboutJobsPartnersSell on LexAffiliates

Resources

DocsInvite FriendsFAQ

Legal

Terms of ServicePrivacy Policygeneral@lex-books.com(215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

Descriptional Complexity of Formal SystemsDescriptional Complexity of Formal Systems

Descriptional Complexity of Formal Systems

Alexander Okhotin, Jeffrey Shallit

Details

OL Work ID
OL20672758W

Subjects

Formal methods (Computer science)CongressesFormal languagesMachine theorySystem designComputer scienceComputer softwareLogic designComputational complexityComputation by Abstract DevicesMathematical Logic and Formal LanguagesLogics and Meanings of ProgramsAlgorithm Analysis and Problem ComplexityDiscrete Mathematics in Computer Science

Find this book

Open Library
Book data from Open Library. Cover images courtesy of Open Library.