Javascript must be enabled for the correct page display

Soundness and Completeness of Equational Logic

Maquelin, Suzanne (2019) Soundness and Completeness of Equational Logic. Bachelor's Thesis, Computing Science.

[img]
Preview
Text
bCS_2019_MaquelinSL.pdf

Download (419kB) | Preview
[img] Text
Toestemming.pdf
Restricted to Registered users only

Download (140kB)
Item Type: Thesis (Bachelor's Thesis)
Supervisor:
Supervisor nameSupervisor E mail
Renardel de Lavalette, G.R.G.R.Renardel.de.Lavalette@rug.nl
Degree programme: Computing Science
Thesis type: Bachelor's Thesis
Date Deposited: 11 Jul 2019
Last Modified: 12 Jul 2019 06:46
URI: http://fse.studenttheses.ub.rug.nl/id/eprint/20099

Actions (login required)

View Item View Item