{"product_id":"model-theory-computer-science-and-graph-polynomials-9783031863189","title":"Model Theory Computer Science and Graph Polynomials","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003e- \u003cstrong\u003ePart I: Personal Notes\u003c\/strong\u003e.- 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.- \u003cstrong\u003ePart II: Scientific Contributions.\u003c\/strong\u003e- 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.\u003c\/p\u003e","brand":"Birkhäuser","offers":[{"title":"Default Title","offer_id":53195457560919,"sku":"9783031863189","price":150.1,"currency_code":"GBP","in_stock":false}],"url":"https:\/\/bookcurl.com\/products\/model-theory-computer-science-and-graph-polynomials-9783031863189","provider":"Book Curl","version":"1.0","type":"link"}