Baur, Michael
![]() | Up a level |
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.
Thesis
Baur, Michael (2023) Justification Logic, Semirings and Realizations thesis.
![]() | Up a level |
Baur, Michael (2023) Justification Logic, Semirings and Realizations thesis.