The Spectra of Words.- On the Undecidability of Coherent Logic.- Löb's Logic Meets the ?-Calculus...

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

This volume contains the papers presented at the 4th Fuji International S- posium on Functional a...

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

This book constitutes the proceedings of the 25th International Conference on Automated Deduction...