Department of Mathematics and Computer Science

Research Output 1937 2020

Filter
Phd Thesis 3 (Research TU/e / Graduation NOT TU/e)
2005
109 Downloads (Pure)

Game, set, maths : formal investigations into logic with imperfect information

Dechesne, F., 2005, Tilburg: Universiteit van Tilburg. 165 p.

Research output: ThesisPhd Thesis 3 (Research TU/e / Graduation NOT TU/e)

Open Access
File
Imperfect
Logic
Foundations of Mathematics
Mathematics
Independence-friendly Logic
1989
22 Downloads (Pure)

Syntax-directed verification of distributed systems

Gerth, R. T., 1989, Utrecht: Utrecht University. 191 p.

Research output: ThesisPhd Thesis 3 (Research TU/e / Graduation NOT TU/e)

Open Access
File