Druck auf Anfrage Neuware - Printed after ordering - 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.

Seller Inventory # 9783031863189

Contact seller

Report this item

Bibliographic Details

Title: Model Theory, Computer Science, and Graph Polynomials : Festschrift in Honor of Johann A. Makowsky
Publisher: Birkh�user, Palgrave Macmillan
Publication Date: 2025
Language: English
ISBN 10: 3031863186
ISBN 13: 9783031863189
Binding: Buch
Condition: Neu
Dimensions: 241 millimeters width by 160 millimeters height by 38 millimeters depth
Weight: 1049 grams

About this title

Synopsis

This festschrift honors Johann A. Makowsky on the occasion of his 75^th 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.

About the Author

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 2025 Meer is one of the Managing Editors of the journal ZML: Zeitschrift f�r Mathematische Logik und Grundlagen der Mathematik and since 2005 editor of the Journal of Complexity. Earlier, from 2011 until 2025 he was one of the Managing Editors of the journal Mathematical Logic Quarterly.

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 design and verification. Today, Elena is working in Software Engineering department in one of the leading colleges in the North of Israel.

Andr�s Villaveces is a professor of mathematics at Universidad Nacional de Colombia in Bogot�. He has held visiting positions at Carnegie Mellon University (2002-2003), the University of Helsinki (2007) and the University of Turin (2021), in addition to a post-doctoral position at the Hebrew University of Jerusalem (1996-1997). He has a Ph.D. in Mathematics of the University of Wisconsin (Madison), and a Master’s Degree in Mathematics of Universidad de los Andes (Bogot�). He works at the confluence of Model Theory and other areas of mathematics (Set Theory, and more recently, Learning Theory, Arithmetic Geometry and Mathematical Physics). He has had research funding from MinCiencias (Colombia). He was the recipient of the Best Young Scientist Award, Academia Colombiana de Ciencias Exactas, F�sicas y Naturales (ACCEFYN) and Third World Academy of Sciences (TWAS) in August 2000. His editorial work includes three invited volumes (one for the Swedish philosophy journal Theoria, the current volume and another volume for Revista Colombiana de Matem�ticas and the volume Logic Without Borders (Ontos Verlag, 2015. ISBN 978-1614517726). He has supervised two completed doctoral theses, three in progress. Also, about 35 undergraduate and masters’ thesis, most of them in Mathematics, one in Philosophy. He is the author of two academic books (one with Jouko V��n�nen) and 23 research papers.

"About this title" may belong to another edition of this title.

Store Description

Das Unternehmen AHA-BUCH GmbH: Seit der Gr�ndung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisg�nstig wie m�glich ihren B�cherwunsch zu erf�llen. Unsere Firma besch�ftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine W�nsche! Auf �ber 3700 m2 Fl�che haben wir �ber 100.000 B�cher, Modernes Antiquariat und Spiele auf Lager.

Visit Seller's Storefront

Seller's business information

AHA-BUCH GmbH
Garlebsen 48, Einbeck, 37574, Germany

Sale & Shipping Terms

Terms of Sale

General Terms and Conditions and Customer Information / Privacy Policy

I. General Terms and Conditions

� 1 Basic provisions

(1) The following terms and conditions apply to all contracts that you conclude with us as a provider (AHA-BUCH GmbH) via the Internet platforms AbeBooks and/or ZVAB. Unless otherwise agreed, the inclusion of any of your own terms and conditions used by you will be objected to

(2) A consumer within the meaning of the following regulations is any natural person who concludes...

More Information

Right of cancellation

**Right of withdrawal for consumers **

(A consumer is any natural person who concludes a legal transaction for purposes that can predominantly be attributed neither to their commercial nor their independent professional activity.)

Cancellation
Withdrawal
You have the right to revoke this contract within fourteen days without giving reasons.
The revocation period is fourteen days from the day,

on which you or a third party named by you, who is not the carrier, has taken possession of the goods, provided that you have ordered one or more goods within the framework of a uniform order and these are or will be delivered uniformly;
on which you or a third party named by you, who is not the carrier, has taken possession of the last goods, provided that you have ordered several goods within the framework of a single order and these are delivered separately;
on which you or a third party named by you, who is not the carrier, has taken possession of the last partial shipment or the last piece, provided that you have ordered goods that are delivered in several partial shipments or pieces;

In order to exercise your right of withdrawal, you must inform us (AHA-BUCH GmbH, Garlebsen 48, 37574 Einbeck, telephone number: 05563 9996039, fax number: 05563 9995974, e-mail address: service@aha-buch.de) of your decision to revoke this contract by means of a clear declaration (e.B. a letter sent by post, fax or e-mail). You can use the attached model withdrawal form, but this is not mandatory.

To comply with the revocation period, it is sufficient that you send the notification of the exercise of the right of revocation before the expiry of the revocation period.

Consequences of revocation

If you withdraw from this contract, we shall reimburse you all payments that we have received from you, including delivery costs (with the exception of the additional costs resulting from the fact that you have chosen a different type of delivery than the cheapest standard delivery offered by us), immediately and at the latest within fourteen days from the day on which we received the notification of your revocation of this contract.
For this repayment, we will use the same means of payment that you used for the original transaction, unless expressly agreed otherwise with you; in no case will you be charged any fees for this repayment.

We may withhold reimbursement until we have received the goods back or until you have provided proof that you have returned the goods, whichever is the earlier.

You must return or hand over the goods to us immediately and in any case at the latest within fourteen days from the day on which you inform us of the revocation of this contract. The deadline is met if you send the goods before the expiry of the period of fourteen days.

You bear the direct costs of returning the goods.

You only have to pay for any loss of value of the goods if this loss of value is due to handling of the goods that is not necessary to check the nature, characteristics and functioning of the goods.

Reasons for exclusion or extinction

The right of revocation does not apply to contracts

for the delivery of goods which are not prefabricated and for the manufacture of which an individual choice or determination by the consumer is decisive or which are clearly tailored to the personal needs of the consumer;
for the delivery of goods that can spoil quickly or whose expiry date would be exceeded quickly;
for the delivery of alcoholic beverages, the price of which was agreed at the time of conclusion of the contract, but which can be delivered at the earliest 30 days after conclusion of the contract and whose current value depends on fluctuations in the market over which the entrepreneur has no influence;
for the delivery of newspapers, magazines or magazines with the exception of subscription contracts.

The right of revocation expires prematurely in the case of contracts

for the delivery of sealed goods that are not suitable for return for reasons of health protection or hygiene, if their seal has been removed after delivery;
for the delivery of goods if they have been inseparably mixed with other goods after delivery due to their nature;
for the delivery of sound or video recordings or computer software in a sealed package, if the seal has been removed after delivery.

Sample withdrawal form

(If you want to cancel the contract, please fill out this form and send it back.)

To AHA-BUCH GmbH, Garlebsen 48, 37574 Einbeck, fax number: 05563 9995974, e-mail address: service@aha-buch.de :
I/we () hereby revoke the contract concluded by me/us () for the purchase of the following goods ()/
the provision of the following service ()
Ordered on ()/ received on ()
Name of the consumer(s)
Address of the consumer(s)
Signature of the consumer(s) (only in case of notification on paper)
Date

(*) Delete as appropriate.

Shipping Terms

We ship your order after we received them
for articles on hand latest 24 hours,
for articles with overnight supply latest 48 hours.
In case we need to order an article from our supplier our dispatch time depends on the reception date of the articles, but the articles will be shipped on the same day.

Our goal is to send the ordered articles in the fastest, but also most efficient and secure way to our customers.

Shipping rates from Germany to U.S.A.

Shipping rates from Germany to U.S.A.
Order quantity	30 to 40 business days	7 to 14 business days
First item	� 56.37	� 65.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Detailed Seller Information