The papers contained in this volume were presented at the Fourth Annual Symposium on Combinatorial Pattern Matching, held in Padova, Italy, in June 19...
This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the...
This book presents a collection of coordinated scientific papers describing the work conducted and the results achieved within the LOGIDATA+ project,...
The International Colloquium on Automata, Languages and Programming ICALP is an annual conference series sponsored by the European Association for The...
