his book constitutes the refereed proceedings of the 18th InternationalConference on Descriptio...
This book constitutes the refereed proceedings of the 13th Conference on Computability in Europe,...
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,...
This book constitutes the refereed proceedings of the 15th Conference on Computability in Europe,...
This book constitutes the proceedings of the 16th Conference on Computability in Europe, CiE...
This book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE 2021...
This book constitutes the proceedings of the 18th Conference on Computability in Europe, CiE 2022...
This book constitutes the refereed proceedings of the 19th International Conference on Unity...
This book constitutes the refereed proceedings of the 20th Conference on Computabilitty in Europe...
This book constitutes the refereed proceedings of the 28th International Conference on Developmen...
This book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE 2021...