Items where Author is "Karim, Nour"

Group by: Item Type | No Grouping

Number of items: 1.

Article

Battyányi, Péter and Karim, Nour (2017) Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi. LOGICAL METHODS IN COMPUTER SCIENCE, 13 (3). pp. 1-22. ISSN 1860-5974

This list was generated on Fri Apr 4 06:36:35 2025 CEST.

Repository of the Academy's Library is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.