Model Theory, Computer Science, and Graph Polynomials
Springer International Publishing (Verlag)
978-3-031-86318-9 (ISBN)
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.
Klaus Meer studied mathematics and received a Diploma, a Dr.rer.nat. and the Habilitation Degree from RWTH Aachen. After various research and temporary positions, including longer stays at CRM Barcelona, Université de Mons-Hainaut, MSRI Berkeley, Universidad de Chile in Santiago, and TU Chemnitz, in year 2000 he joined the IMADA Department at the University of Southern Denmark in Odense as Associate Professor. Further longer research stays led him to the University of Bonn and the ENS Lyon. In 2007 he was appointed full professor of Theoretical Computer Science at the TU Cottbus, now BTU Cottbus-Senftenberg. His main research interest is complexity theory with a focus on real number complexity. Since 2011, Meer is one of the Managing Editors of the journal Mathematical Logic Quarterly and since 2005 editor of the Journal of Complexity.
Professor Alexander Rabinovich is a full professor at the School of Computer Science and AI at Tel-Aviv University, specializing in logic in computer science. He earned his BSc from the Technion, followed by an MSc and PhD in Computer Science from Tel Aviv University. His research focuses on the applications of logical methods in computer science, particularly in areas such as formal verification, automata, monadic second-order logic and temporal logics. He has more than 140 publications in renowned journals and conferences, and serves as an editor of Fundamenta Informaticae.
Dr. Elena Ravve received her Bachelor degree in Russia in Applied Mathematics and Master and Doctor degrees from the Technion Israel Institute of Technology, Computer Science department. Elena s industrial experience includes different positions in the leading Hi-Tech companies in Israel: Freescale (Motorola Semiconductor), Intel, Tower-Jazz foundry. Elena has wide academic experience in Israel and abroad. Her research topics include but not limited to incremental, parallel and distributed computation and reasoning, graph polynomials, database theory, automated software and hardware de
- Part I: Personal Notes.- My writing.- Some personal remarks about Johann A. Makowsky.- The Swiss Connection.- From a Friend and Publisher.- From graph polynomials to the software industry Lessons from Janos.- Emancipatory Aspects of Learning and Teaching Mathematics.- Part II: Scientific Contributions.- Epsilon Calculus Provides Shorter Cut-Free Proofs.- Variations on a Theme of Makowsky.- Automatic structures and the problem of natural well-orderings.- On the Counting Complexity of the Cover Polynomial for Simple Graphs.- Polynomial Threshold Functions of Bounded Tree-Width: Some Explainability and Complexity Aspects.- Some Equalities are More Equal than Others.- On the bipartition polynomials for rooted caterpillars.- NP-completeness by first-order and quantifier-free interpretations and related topics.- Bounded languages over infinite alphabets.- Linear Algebraic Quantifiers.- A coarse Tutte polynomial for hypermaps.- Graph polynomials: some questions on the edge.- Pixelating relations and functions without adding substructures.- Reflection and Recurrence.- Provenance Analysis and Semiring Semantics for First-Order Logic.- Reversify any sequential algorithm.- Gentzen in the 3- and 4-valued jungle.- Characterizing Data Dependencies Then and Now.- On Consistency of Graphically Defined Specifications.- The path-bifurcation hierarchy does not collapse to 1 in infinite abelian groups.- Data with Logical and Statistical constraints.- Relating Information and Knowledge.- Science and Practice of Modelling.- Graph Polynomials and Local Graph Operations.
| Erscheinungsdatum | 06.08.2025 |
|---|---|
| Reihe/Serie | Trends in Mathematics |
| Zusatzinfo | XV, 577 p. 64 illus., 28 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
| Schlagworte | Complexity of REal and Algebraic Computations • descriptive complexity • Festschrift Makowsky • Graph Invariants • graph polynomials • logic in computer science • Logic Programming • Mathematical Logic • Theory of Databases |
| ISBN-10 | 3-031-86318-6 / 3031863186 |
| ISBN-13 | 978-3-031-86318-9 / 9783031863189 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
