Mathematical Theory of Computation

Volume XI of the Transactions on Rough Sets (TRS) provides evidence of f- ther growth in the rough set landscape, both in terms of its foundations ...

The Workshop on Parameterized and Exact Computation (IWPEC) is an - ternational workshop series that covers research in all aspects of parameterize...

This book constitutes the refereed proceedings of the 17th International Conference on Graph Transformation, ICGT 2024, held in Enschede, The Nethe...

This book constitutes the refereed joint proceedings of the 18th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2024, an...

Python is one of the most popular programming languages, widely used for data analysis and modelling, and is fast becoming the leading choice for s...

The proceedings of the 8th International Symposium on Chaos, Complexity, and Leadership present various concepts of diverse research methodologies ...

This two-volume set, CCIS 2146 and CCIS 2147, constitutes the refereed proceedings of the 14th International Symposium on Intelligence Computation ...

This two-volume set, CCIS 2146 and CCIS 2147, constitutes the refereed proceedings of the 14th International Symposium on Intelligence Computation ...

The information age owes its existence to a little-known but crucial development, the theoretical study of logic and the foundations of mathematics...

This book constitutes the refereed proceedings of the Sescond Southwest Data Science Conference, SDSC 2023, held in Waco, TX, USa, during March 24-...

The genesis of the digital idea and why it transformed civilizationA few short decades ago, we were informed by the smooth signals of analog televi...

Paul Erdös was one of the most influential mathematicians of the twentieth century, whose work in number theory, combinatorics, set theory, analysi...

The papers contained in this volume were presented at the 9th Latin American TheoreticalInformaticsSymposiumheldattheBenitoJu' arezUniversityofO- a...

Software defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient ...

This textbook is intended for students of mathematics who have completed the foundational courses of their undergraduate studies and now want to sp...

Theneedforintelligentsystemstechnologyinsolvingreal-lifeproblemshasbeen consistently growing. In order to address this need, researchers in the ?el...

This volume contains the proceedings of the 21st Conference on C- currency Theory (CONCUR 2010), held in Paris, at Universit'eDenis Diderot, August...

ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programming was held July 6-10, 2010 in Bordeaux, France. I...

This volume contains the 69 papers presented at the 16th Annual European Symposium on Algorithms (ESA 2010), held in Liverpool during September 6-8...

This book constitutes the thoroughly refereed post-proceedings of the 20th International Conference on Inductive Logic Programming, ILP 2010, held ...