Models and equality for logical programming.- Fifth generation computer project: Current research...

This volume consists of some of the papers that were delivered during the workshop on 'Foundation...

This volume constitutes the proceedings of the Fourth International Conference on Algebraic and L...

Data-Flow Analysis.- Bidirectional Data Flow Analysis in Code Motion: Myth and Reality.- On a New...

Tutorial.- Security, Protocols, and Trust.- Security.- Security Types Preserving Compilation.- Hi...

This volume contains the proceedings of the ThirdInternational Conferenceon Algebraic and Logic...

On the complexity of branching programs and decision trees for clique functions.- Average complex...