Maquelin, Suzanne (2019) Soundness and Completeness of Equational Logic. Bachelor's Thesis, Computing Science.
|
Text
bCS_2019_MaquelinSL.pdf Download (419kB) | Preview |
|
![[img]](https://fse.studenttheses.ub.rug.nl/style/images/fileicons/text.png) |
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 |