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

ThisvolumecontainsthepaperspresentedattheNinthInternationalC- ferenceonLogicforProgramming,Arti?c...

This book constitutes the proceedings of the 20thInternational Conference on Logic for Programmin...

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

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

This second volume of 'Handbook of Automated Reasoning' covers topics such as higher-order logic ...

LPAR is an international conference series aimed at bringingtogether researchers interested in lo...

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

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

This volume contains the proceedings of LPAR '92, theinternational conference on logic programmin...

This book contains the thoroughly refereed papers from the 9th International Ershov Informatics C...

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

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

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

This volume contains the papers presented at the 11th International Conference on Logic for Progr...

This volume containsthe full papers presentedat the 12th InternationalConf- ence on Logic for Pro...

This first volume of the 'Handbook of Automated Reasoning' includes topics such as: the early his...

This volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Confe...

The First CADE in the Third Millennium This volume contains the papers presented at the Eighteent...

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

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

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

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

This book features the refereed proceedings of the 2nd International Symposium on Computer Scienc...

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

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

ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, A...

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

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

This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Confere...

This volume contains the research papers presented at the 17th International Conference on Logic ...

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