Items where Author is "Zolfaghar Karahroodi, Nikoo"
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.
Thesis
Zolfaghar Karahroodi, Nikoo (2024) Consequence-based Algebraic Reasoning for SHOQ. PhD thesis, Concordia University.
Zolfaghar Karahroodi, Nikoo (2024) Consequence-based Algebraic Reasoning for SHOQ. PhD thesis, Concordia University.