【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Impact of the Release of the New "NDL Search" on CiNii Services

Lempp, Steffen

ID:DA12544549

Alias Name: Lempp, S

Search authors sharing the same name

Search Results1-3 of 3

1

Unity of logic and computation : 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023 : proceedings

Gianluca Della Vedova ... [et al.], editors

Springer c2023 Lecture notes in computer science 13967 . Advanced research in computing and software science

Available at 1 libraries
2

Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM Joint Summer Research Conference, Computability Theory and Applications, June 13-17, 1999, University of Colorado, Boulder

Peter A. Cholak, Steffen Lempp, Manuel Lerman, Richard A. Shore, editors

American Mathematical Society c2000 Contemporary mathematics v. 257

Available at 57 libraries
3

Recursion theory and complexity : proceedings of the Kazan'97 Workshop, Kazan, Russia, July 14-19, 1997

editors Marat M. Arslanov, Steffen Lempp

Walter de Gruyter 1999 De Gruyter series in logic and its applications 2

: alk. paper

Available at 9 libraries

Search this author

Related Authors