Finite and Algorithmic Model Theory

    Intended for researchers and graduate students in theoretical computer science and mathematical logic, this volume contains accessible surveys by leading researchers from areas of current work in logical aspects of computer science, where both finite and infinite model-theoretic methods play an important role. Notably, the articles in this collection emphasize points of contact and connections between finite and infinite model theory in computer science that may suggest new directions for interaction. Among the topics discussed are: algorithmic model theory, descriptive complexity theory, finite model theory, finite variable logic, model checking, model theory for restricted classes of finite structures, and spatial databases. The chapters all include extensive bibliographies facilitating deeper exploration of the literature and further research.

    View more

    Number of Pages: 356
    Format(s): Paperback - ISBN: 9780521718202
    Publication Date:
    Listed in: Mathematical foundations, Algorithms & data structures
    Publisher: CAMBRIDGE UNIVERSITY PRESS

    Paperback

    RRP: £43.00

    Sale Price: £28.26

    Save: £14.74 per copy!

    Side-Banner-Right-188px-fd.jpg
    Books TV & Movies

    You might also like...

    Latest from the blog

    Fantastic new recipe book from Sabrina Ghayour 'Sirocco'

    Sabrina Ghayour's long awaited second recipe book Sirocco is out this month and is a great follow up to Persianna. Read article

    Ten Great Bedtime Reads from The Great British Bookshop and Aspace

    We have teamed up with Aspace (www.aspace.co.uk) who create beautiful room for Children to bring you 10 great bedtime reads for your little ones. Read article

    Latest from Twitter

    • @TheGBBookshop - 3 years ago

      Lottery funding for dementia reading project £2m pledged for Reading Agency scheme to pair readers with dementia sufferers

      @TheGBBookshop - 3 years ago

      Harry Potter and the Cursed Child has held on to the number one spot for a sixth week #HarryPotter #CursedChild @littlebrown @pottermore

    • @TheGBBookshop - 3 years ago

      @thebookseller @MartinaCole @Jeffrey_Archer @Foyles

      @TheGBBookshop - 3 years ago

      Frith wins inaugural Klaus Flugge Prize for illustration t.co/U9P08h4XMG

    • @TheGBBookshop - 3 years ago

      RT @Gue_de_Bost: #Dordogneholidaycottage available Sept tweet to book for more info

      @TheGBBookshop - 3 years ago

      The editor is just back from france @HomeAwayUK! t.co/IWutTER1x7