From Hilbert's Program to a Logic Toolbox.- On the Notion of Vacuous Truth.- Whatever Happened to...

This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made f...

Rewriting has always played an important role in symbolic manipulation and automated deduction sy...

This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birt...

This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birt...

This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th b...

This book constitutes the refereed proceedings of the 8th International Conference on Unconventio...

This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birt...

This book presents throroughly revised full versions of the 21 papers accepted for the Fourth Int...

From Logic to Theoretical Computer Science - An Update.- Reminiscences.- Boris A. Trakhtenbrot: A...

This Festschrift is published in honor of Yuri Gurevich¿s 80th birthday. An associated conference...

These algorithmic tools for programmers, astronomers, and calendar enthusiasts include more than ...