Invited Talks.- Factorization Forests.- Weighted versus Probabilistic Logics.- Post Correspondenc...

This book constitutes the refereed proceedings of the 10th International Conference on Combinator...

This book constitutes the refereed proceedings of the 14th Conference on Computability in Europe,...