Steffen Lempp

Unity of Logic and Computation. 19th Conference on Computability in Europe, CiE 2023 Batumi, Georgia, July 24–28, 2023 Proceedings

2023 · ENGLISH · PDF

View details →