Discrete mathematics

Eulerian Graphs and Related Topics

The Lukasiewicz-Moisil algebras were created by Moisil as an algebraic counterpart for the many-valued logics of Lukasiewicz.

The contributions in this volume are divided into three sections: theoretical, new models and algorithmic.

Automata Theory is part of computability theory which covers problems in computer systems, software, activity of nervous systems (neural networks), and processes of live organisms development.

Combinatorics has not been an established branch of mathematics for very long: the last quarter of a century has seen an explosive growth in the subject.

Haim Hanani pioneered the techniques for constructing designs and the theory of pairwise balanced designs, leading directly to Wilson's Existence Theorem.

This volume is a tribute to the life and mathematical work of G.

This monograph is based on a series of lectures given by the author at the first Advanced Research Institute on Discrete Applied Mathematics, held at Rutgers University.

Graph Colouring and Variations

Graph Theory and Applications

Recent developments in all aspects of combinatorial and incidence geometry are covered in this volume, including their links with the foundations of geometry, graph theory and algebraic structures, and the applications to coding theory and computer science.

This volume presents four machine-independent theories of computational complexity, which have been chosen for their intrinsic importance and practical relevance.

Linear and Combinatorial Optimization in Ordered Algebraic Structures

Combinatorics 79.

Combinatorics 79.

Topics on Steiner Systems

Combinatorial Mathematics, Optimal Designs, and Their Applications

Discrete Optimization I

Advances in Graph Theory

Algorithmic Aspects of Combinatorics

This textbook offers a geometric perspective on special relativity, bridging Euclidean space, hyperbolic space, and Einstein's spacetime in one accessible, self-contained volume.

This is the first comprehensive monograph to thoroughly investigate constant width bodies, which is a classic area of interest within convex geometry.

The Nuts and Bolts of Proof instructs students on the basic logic of mathematical proofs, showing how and why proofs of mathematical statements work.

Recursive Model Theory

Handbook of Algebra

This text is an introduction to harmonic analysis on symmetric spaces, focusing on advanced topics such as higher rank spaces, positive definite matrix space and generalizations.

ACMES (Algorithms and Complexity in Mathematics, Epistemology, and Science) is a multidisciplinary conference series that focuses on epistemological and mathematical issues relating to computation in modern science.

This book is intended to introduce researchers and graduate students to the concepts of causal symmetric spaces.

This title is the result of a one-week workshop sponsored by the Swedish research agency, FRN, on the interface between complexity and art.

This book presents what in our opinion constitutes the basis of the theory of the mu-calculus, considered as an algebraic system rather than a logic.

Linear models, normally presented in a highly theoretical and mathematical style, are brought down to earth in this comprehensive textbook.

Constraint-based linguistics is intersected by three fields: logic, linguistics, and computer sciences.

Computability, Complexity, and Languages is an introductory text that covers the key areas of computer science, including recursive function theory, formal languages, and automata.

Stochastic local search (SLS) algorithms are among the most prominent and successful techniques for solving computationally difficult problems in many areas of computer science and operations research, including propositional satisfiability, constraint satisfaction, routing, and scheduling.

In this book we generate graphic images using the software Mathematica thus providing a gentle and enjoyable introduction to this rather technical software and its graphic capabilities.

As the sophistication of cyber-attacks increases, understanding how to defend critical infrastructure systems-energy production, water, gas, and other vital systems-becomes more important, and heavily mandated.

This book comes out of need and urgency (expressed especially in areas of Information Retrieval with respect to Image, Audio, Internet and Biology) to have a working tool to compare data.

This unique textbook comprehensively introduces the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds.

Recursion: Mathematics and Python is designed to help readers develop a clear and systematic understanding of recursion as both a mathematical concept and a programming technique.

Recursion: Mathematics and Python is designed to help readers develop a clear and systematic understanding of recursion as both a mathematical concept and a programming technique.