This volume contains revised versions of presentations at the International Workshop on Analogica...

Verification of an alternating bit protocol by means of process algebra protocol.- Predicative pr...

This volume contains all the papers that were presented atthe Fourth Workshop on Algorithmi...

The 9th International Conference on Discovery Science (DS 2006) was held in Barcelona, Spain, on ...

These are the conference proceedings of the 4th International Conference on Discovery Science (DS...

This volume presents the proceedings of the Fourth International Workshop on Analogical and Induc...

Inductive inference from good examples.- Inductive inference, DFAs, and computational complexity....

This book is the final report on a comprehensive basic research project, named GOSLER on algorith...

This proceedings volume contains a selection of revised andextended papers presented at the Secon...

This volume contains the papers that were presented at theThird Workshop onAlgorithmic Learning T...

The algebraic specification of abstract data types is now awell establishedresearch topic in comp...

This book constitutes the refereed proceedings of the 6th International Workshop on Algorithmic L...