Model Theory, Computer Science, and Graph Polynomials

Category: Other
Type: E-Books
Language: English
Total Size: 44.9 MB
Uploaded By: bitGAMER
Downloads: 202
Last checked: 3 weeks ago
Date uploaded: 1 month ago
Seeders: 11
Leechers: 0
MAGNET DOWNLOAD
INFO HASH: 7DD642A0DBC073EBCF033BEF36A02092C26020C1

Movie cover image


English | 2025 | ISBN: 978-3-031-86319-6 | 573 Pages | True EPUB PDF | 44.9 MB

This festschrift honors Johann A. Makowsky on the occasion of his 75th birthday. Gathering 24 research articles authored by scientific companions, friends, and colleagues, it covers a broad variety of areas to which Johann A. Makowsky made significant contributions himself. These include several areas of mathematical logic and its relevance for Computer Science including Graph polynomials, Algorithms for graph invariants, Algorithms and descriptive complexity theory, complexity of real and algebraic computations, Mathematical logic, Model theory, Design and theory of databases, Logic in computer science and AI and Logic programming. The volume is enriched with 4 biographical essays, and two contributions by the celebrant himself.