Sharing on Mastodon:
RelBib: Reductions of finite and infinite derivations
https://relbib.de/Record/1816074462/Details
Save
Home
About