andrei voronkov

Logic for Programming, Artificial Intelligence, and Reasoning

This book constitutes the thoroughly refereed post-conference proceedings of the 16th Internation...

Logic for Programming, Artificial Intelligence, and Reasoning

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

Perspectives of System Informatics

This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatic...

Logic for Programming, Artificial Intelligence, and Reasoning

Perspectives of System Informatics

This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informa...

Rewriting Techniques and Applications

This book constitutes the refereed proceedings of the 19th International Conference on Rewriting ...

Perspectives of Systems Informatics

This book constitutes the thoroughly refereed post-conference proceedings of the 6th Internationa...

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

This book constitutes the proceedings of the 18th International Conference on Logic for Programmi...

Perspectives of Systems Informatics

This book contains thoroughly refereed and revised papers from the 8th International Andrei Ersho...

Programming Logics

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleag...

Logic for Programming, Artificial Intelligence, and Reasoning

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