Model Theory, Computer Science, and Graph Polynomials Festschrift in Honor of Johann A. Makowsky /

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 are...

Celý popis

Uloženo v:
Podrobná bibliografie
Korporativní autor: SpringerLink (Online service)
Další autoři: Meer, Klaus (Editor), Rabinovich, Alexander (Editor), Ravve, Elena (Editor), Villaveces, Andrés (Editor)
Médium: Elektronický zdroj E-kniha
Jazyk:angličtina
Vydáno: Cham : Springer Nature Switzerland : Imprint: Birkhäuser, 2025.
Vydání:1st ed. 2025.
Edice:Trends in Mathematics,
Témata:
On-line přístup:https://doi.org/10.1007/978-3-031-86319-6
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Fyzický popis:1 online resource (XV, 577 p. 64 illus.). 28 illus. in color.
ISBN:9783031863196
ISSN:2297-024X
DOI:10.1007/978-3-031-86319-6