Logic and Random Structures

ISBN-13: 9780821805787 / Angielski / Twarda / 1997 / 130 str.

Opis

This volume contains selected papers from the DIMACS Workshop on Logic and Random Structures held in November 1995. The workshop was a major event of the DIMACS Special Year on Logic and Algorithms. The central theme was the relationship between logic and probabilistic techniques in the study of finite structures.