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

This book constitutes the refereed proceedings of the 14th International Conference on Logic for ...

The momentous task of assembling such a comprehensive and accurate collection of calendars could ...

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...

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

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

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...

An invaluable resource for working programmers, as well as a fount of useful algorithmic tools fo...

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

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

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

The Person 1 Boris Abramovich Trakhtenbrot (????? ????????? ???????????) his Hebrew given name is...

Yuri Gurevich has played a major role in the discovery and development of - plications of mathema...