Maquelin, Suzanne (2019) Soundness and Completeness of Equational Logic. Bachelor's Thesis, Computing Science.
|
Text
bCS_2019_MaquelinSL.pdf Download (419kB) | Preview |
|
![]() |
Text
Toestemming.pdf Restricted to Registered users only Download (140kB) |
Item Type: | Thesis (Bachelor's Thesis) |
---|---|
Supervisor name: | Renardel de Lavalette, G.R. |
Degree programme: | Computing Science |
Thesis type: | Bachelor's Thesis |
Date Deposited: | 11 Jul 2019 |
Last Modified: | 12 Jul 2019 06:46 |
URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/20099 |
Actions (login required)
![]() |
View Item |