This volume contains the proceedings of two Russianconferences on logicprogramming, held in 1...

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

This volumecontains the papers presentedatthe SeventhInternationalC- ference on Logicfor Programm...

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 contains the thoroughly refereed papers from the 9th International Ershov Informatics C...

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

This volume contains the papers presented at the Eighth International C- ference on Logic for Pro...

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

This volume contains the papers presented at the Sixth International Conference on Logic for Prog...

ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, A...

This book constitutes the thoroughly refereed and revised post-workshop proceedings of two intern...