This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Confere...
Handbook of Automated Reasoning
This book constitutes the refereed proceedings of the 15th International Conference on Logic for ...
This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informa...
This book constitutes the refereed proceedings of the 13th International Conference on Logic for ...
This book contains thoroughly refereed and revised papers from the 8th International Andrei Ersho...
This book features the refereed proceedings of the 2nd International Symposium on Computer Scienc...
This book constitutes the proceedings of the 20thInternational Conference on Logic for Programmin...
This volume contains the papers presented at the Eighth International C- ference on Logic for Pro...