Lempp, Steffen books & textbook
Recursion Theory and Complexity: Proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14–19, 1997 (De Gruyter Series in Logic and Its Applications, 2)
Arslanov, Marat M. Lempp, Steffen
De Gruyter /1999-08-06 Hardcover / 247 Pages
isbn-10: 3110165872 / isbn-13: 9783110165876
Unity of Logic and Computation: 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023, Proceedings (Lecture Notes in Computer Science)
Della Vedova, Gianluca Dundua, Besik Lempp, Steffen Manea, Florin
Springer /2023-07-19 Paperback / 352 Pages
isbn-10: 3031369777 / isbn-13: 9783031369773