Informatik (14.430 Artikel)

This book contains revised versions of papers invited for presentation at the International Workshop on Logic and Computational Complexity, LCC '94, held in Indianapolis, IN in October 1994.The syn...

19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers

20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers

Playing with Quantifiers and Decompositions

This book contains selected papers from the Colloquium in Honor of Alain Lecomte, held in Pauillac, France, in November 2007. The event was part of the ANR project "Prélude" (Towards Theoretical Pr...

Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings

This book collects the refereed proceedings of the 6th Indian Conference on Logic and Its Applications, ICLA 2015, held in Mumbai, India, in January 2015. The volume contains 13 full revised papers...

This book collects the refereed proceedings of the 7th Indian Conference on Logic and Its Applications, ICLA 2017, held in Mumbai, India, in January 2017. The volume contains 13 full revised papers...

8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 5th Indian Conference on Logic and Its Applications, IC...

10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings

P-mitotic sets.- Equivalence relations, invariants, and normal forms, II.- Recurrence relations for the number of labeled structures on a finite set.- Recursively enumerable extensions of R1 by fin...

This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in ...

The present volume contains the proceedings of , a symposium on logical foundations of computer science organized by the Program Systems Institute of the USSR Academy of Sciences and held at Peresl...

This book is concerned with the rich and fruitful interplay between the fields of computational logic and machine learning. The intended audience is senior undergraduates, graduate students, and re...